We are proud to announce the release of Isabelle/DOF 1.1.0. Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting and formal development.
Isabelle/DOF 1.1.0 supports both Isabelle 2021 and Isabelle 2020:
]]>