Published July 8, 2022
| Version 1.3.0/Isabelle2021-1
Software
Open
Isabelle/DOF
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
- Is documented by
- 10.1007/978-3-319-96812-4_3 (DOI)
- 10.1007/978-3-030-30446-1_15 (DOI)