makarius/Isabelle_DOF
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
IsabelleNOASSERTION
Watchers
No one’s watching this repository yet.
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
IsabelleNOASSERTION
No one’s watching this repository yet.