formal-land/rocq-of-rust
@formal-landRust 的形式化验证工具：检查程序 100% 的执行案例以打造更安全的应用程序。
星数
1,164
Fork 数
44
语言
Rocq Prover
许可
—
最后推送
7小时前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
Rust 的形式化验证工具：检查程序 100% 的执行案例以打造更安全的应用程序。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。