https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF/activity
Activity - Isabelle_DOF - LogicalHacking Git Service
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...
activityisabelledofgitservice