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