prusti-dev
Rust
★ 4
updated 2h ago
⑂ fork
A static verifier for Rust, based on the Viper verification infrastructure.
No plain-English explanation yet — one is being written right now. Check back in a minute.