nicdard / prusti-assistant Goto Github PK
View Code? Open in Web Editor NEWThis project forked from viperproject/prusti-assistant
VS Code extension to verify Rust programs with the Prusti verifier.
Home Page: http://prusti.org
License: MIT License