isabelle-dof

There are 1 repositories under isabelle-dof topic.

  • logicalhacking/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.

    Language:Isabelle2201