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