carnotweat/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
RustNOASSERTION
Stargazers
No one’s star this repository yet.
A static verifier for Rust, based on the Viper verification infrastructure.
RustNOASSERTION
No one’s star this repository yet.