Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
- ai-native
- description-logics
- knowledge-graph
- mcp
Repository Index
70,234 visible repositories in the index
1–2 of 2 · Most stars
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search