Published March 18, 2025
| Version 2024
Software
Open
Isabelle/DOF
Authors/Creators
- 1. University of Exeter
- 2. Université Paris-Saclay
Description
Isabelle/DOF is a Document Ontology Framework (DOF), on top of Isabelle/HOL, allowing to annotate text elements in formal developments with structured, typed meta-information which can be defined by developers according to their purposes (e.g., semantic queries, tool interaction, or document generation).
This repository contains extensions (e.g., additonal ongologies and document templates) of the Isabelle/DOF version available in the Archive of Formal Proofs.
Files
README.md
Additional details
Related works
- Is documented by
- Journal article: 10.1016/j.scico.2024.103231 (DOI)
- Is supplement to
- Software: https://www.isa-afp.org/entries/Isabelle_DOF.html (URL)
Software
- Repository URL
- https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
- Programming language
- Isabelle , Standard ML
- Development Status
- Active