Posted on by Achim D. Brucker, licensed under CC BY-ND 4.0.

Release: Isabelle/DOF 1.1.0

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: