There is a newer version of the record available.

Published August 18, 2019 | Version 1.0.0/Isabelle2019
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).

Files

Files (3.2 MB)

Name Size Download all
md5:c714698b973b7b212655705e9a976516
3.2 MB Download
md5:cf2ba2d2a7c0ed98ee7c1c2e711c7366
833 Bytes Download

Additional details

Related works

Is documented by
10.1007/978-3-319-96812-4_3 (DOI)
10.1007/978-3-030-30446-1_15 (DOI)