Owner · viperproject

viperproject

viperproject's tracked open-source repos, sorted by stars.

1 repos

#1
prusti-dev ↗@viperprojectRust
A static verifier for Rust, based on the Viper verification infrastructure.
★ 1,809+3Star change over the last 7 days