AeneasVerif

AeneasVerif / aeneas

#10
85286OCaml
在 GitHub 上查看

面向 Rust 程序的验证工具链

📊 项目信息

语言
OCaml
Stars
⭐ 852
Forks
86
排名
#10
收录
语言榜
趋势日期
2026年7月12日
最后推送
2026/7/12

🏷️ 标签

compilercoqdeductive-reasoningformal-methodsformal-verificationfstarhol4leanocamlprogram-verificationproofsrustrust-lang

📸 截图

aeneas screenshot 1