Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Achim D. Brucker c5413107af Added Isabelle/DOF logo. 6 hours ago
..
CENELEC_50128 Fixed naming inconsistency (cenelec vs. CENELEC_50128). 1 day ago
math_exam Resolved naming inconsistency (mathex_onto vs. math_exam). 1 day ago
scholarly_paper Updated URL of Isabelle/DOF repository. 1 day ago
technical_report Added Isabelle/DOF logo. 6 hours ago
README.md Restrucuring. 7 months ago
ROOTS Fixed naming inconsistency (cenelec vs. CENELEC_50128). 1 day ago

README.md

Examples

Scholarly (Academic) Papers

The examples in the directory scholarly_paper
are examples of typical conference papers (usually, in computer science).

Technical Reports

The examples in the directory technical_report
are examples of typical technical reports. This includes also the Isabelle/DOF User and Implementation Manual.