/prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Primary LanguageRustOtherNOASSERTION

Watchers

No one’s watching this repository yet.