Lean4 AI Tools
Discover AI tools tagged with "lean4".
1 tools· 1 free
Open OntologiesOpen Source
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
ai-nativedescription-logicsformal-verificationinfrastructure-as-code+4