logicalhacking / isabelle_dof Goto Github PK
View Code? Open in Web Editor NEWIsabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
Home Page: https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
License: Other