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
78,351 visible repositories in the index
1–2 of 2 · Most stars
Creusot helps you prove your Rust code is correct.
- rust-lang
- verification
- proof
- formal-verification