Published March 26, 2022
| Version 1.2.0/Isabelle2021
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
Isabelle_DOF-1.2.0_Isabelle2021.pdf
Files
(6.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:6854827d0d91d86dbb15fb91b204090b
|
1.5 MB | Preview Download |
|
md5:76f041889eac0e89b858fdcf7cfd0d62
|
4.7 MB | Download |
|
md5:6ab4b192c0e469d5d6643110a4f82d7c
|
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)