Isabelle/DOF
Achim D. Brucker, Burkhart Wolff · Open Research Exeter (University of Exeter) · 2019
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).