用 Rust 编写的本体引擎，用于规划、应用和回滚 OWL/RDF 本体变更，并为推理结论生成可由 Lean 4 独立校验的证书。
1159161RustMIT更新于 3天前
#formal-verification
“formal-verification” 相关开源项目
与 formal-verification 相关的精选 GitHub 开源仓库，附 AI 中文概要与关键数据。
#formal-verification
与 formal-verification 相关的精选 GitHub 开源仓库，附 AI 中文概要与关键数据。