Isabelle/DOF Add-Ons
After the successful release of Isabelle/DOF as part of the Archive of Formal Proofs (AFP), we are now happy to announce the availability of add-ons for the latest Isabelle release (i.e., Isabelle 2025).
The Isabelle/DOF 2025 Add-Ons package (a version for Isabelle 2024 is also available) is available on Zenodo. The Isabelle/DOF 2025 Add-Ons extends the Isabelle/DOF version for Isabelle 2025 that is available as part of the Archive of Formal Proofs (AFP) with the following features:
- Additional document ontologies and LaTeX templates (in the session
Isabelle_DOF-Ontologies). - Additional examples using various Ontologies and LaTeX template.
- A tool for creating new Isabelle/DOF projects (
isabelle dof_mkroot).
References §
[1]
A. D. Brucker, N. Méric, and B. Wolff, “Isabelle/DOF,” Archive of Formal Proofs, Jan. 2024. https://www.isa-afp.org/entries/Isabelle_DOF.html, Formal proof development. Author copy: http://logicalhacking.com/publications/brucker.ea-isabelle-dof-afp-2024/