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