面向 Rust 程序的验证工具链
📊 项目信息
- 语言
- OCaml
- Stars
- ⭐ 866
- Forks
- 89
- 今日新增
- +2
- 排名
- #5
- 收录
- 语言榜
- 趋势日期
- 2026年7月17日
- 最后推送
- 2026/7/17
🏷️ 标签
compilercoqdeductive-reasoningformal-methodsformal-verificationfstarhol4leanocamlprogram-verificationproofsrustrust-lang
📸 截图
面向 Rust 程序的验证工具链