Isabelle/DOF

2020-01-18T10:06:37Z (GMT) by Brucker, Achim D. Wolff, Burkhart

Isabelle/DOF is a Document Ontology Framework (DOF), on top of Isabelle/HOL, allowing to annotate text elements in formal developments with structured, typed meta-information which can be defined by developers according to their purposes (e.g., semantic queries,  tool interaction, or document generation).