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