Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published July 8, 2022 | Version 1.3.0/Isabelle2021-1
Software Open

Isabelle/DOF

  • 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).

Files

Isabelle_DOF-1.3.0_Isabelle2021-1.pdf

Files (6.3 MB)

Name Size Download all
md5:37fdacb9e6ecb77f56b78ad84dc53132
1.5 MB Preview Download
md5:891801e65d8ed097ca50589b40554bc1
4.7 MB Download
md5:5a514ba0b46e52a75480be2ccd929701
833 Bytes Download

Additional details

Related works