A Rust engine for planning, applying and certifying changes to OWL/RDF ontologies, with blast-radius reports and checkable Lean 4 proofs of derived conclusions.
1.2K161RustMITUpdated 4 days ago
#formal-verification
Open-source projects tagged “formal-verification”
Curated GitHub repositories related to formal-verification, with AI summaries and key stats.