isabelle-dof

There are 1 repository 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.

  certificationisabelleisabelle-dofontology
  Language:Isabelle 2