prusti topic
List
prusti repositories
prusti-assistant
22
Stars
10
Forks
Watchers
VS Code extension to verify Rust programs with the Prusti verifier.
