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