pointerbender / prusti-dev Goto Github PK
View Code? Open in Web Editor NEWThis project forked from viperproject/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
Home Page: http://prusti.ethz.ch
License: Other