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 920779b150 Raised requirement of Tex Live to TeX Live 2021 (expected release date: 4th of April 2021). 1 month ago
..
CC_ISO15408 added define_macros, corrections in 02_Background 8 months ago
CENELEC_50128 a first imprfect solution for the assert* problem; 4th chapter roughly completed. 3 months ago
math_exam mmm 10 months ago
scholarly_paper Removed fixme. 3 months ago
technical_report Raised requirement of Tex Live to TeX Live 2021 (expected release date: 4th of April 2021). 1 month ago
README.md Restrucuring. 2 years ago
ROOTS steps to reform cicm/csp paper and manual 5 months 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.