coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
401 stars
8 watching
14 forks
Language: Coq
last commit: 16 days ago coqformal-verificationproofrust