Release: Isabelle/DOF 1.2.0
We are proud to announce the release of Isabelle/DOF 1.2.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.2.0 is available for Isabelle 2021: