AeneasVerif

AeneasVerif / aeneas

#4
78477OCaml
在 GitHub 上查看

面向 Rust 程序的验证工具链

📊 项目信息

语言
OCaml
Stars
⭐ 784
Forks
77
排名
#4
收录
语言榜
趋势日期
2026年5月31日
最后推送
2026/5/31

🏷️ 标签

compilercoqdeductive-reasoningformal-methodsformal-verificationfstarhol4leanocamlprogram-verificationproofsrustrust-lang

📸 截图

aeneas screenshot 1