Local mirror of The Core DOM (Core_DOM) entry of the Archive of Formal Proofs (AFP).
Updated 2021-03-11 11:52:00 +00:00
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
Updated 2024-04-16 09:11:13 +00:00