Published April 25, 2025 | Version 2025
Software Open

Isabelle/DOF

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

Files (4.2 MB)

Name Size Download all
md5:76c631a430a2e61e1f62fa380e0db59a
2.1 MB Preview Download
md5:a652b8657ba51cd88e508e1d1b4080fa
2.2 MB Download
md5:c4d539fe8e282ac1bbfdc41c7a825063
673 Bytes Download
md5:c7e533f73165b14cfc0a995b8af816bc
9.8 kB Preview Download

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