A verification toolchain for Rust programs
📊 Project Info
- Language
- OCaml
- Stars
- ⭐ 795
- Forks
- 77
- Today
- +1
- Ranking
- #5
- Collection
- Language
- Trending Date
- June 5, 2026
- Last Push
- 6/5/2026
🏷️ Topics
compilercoqdeductive-reasoningformal-methodsformal-verificationfstarhol4leanocamlprogram-verificationproofsrustrust-lang
📸 Screenshots
