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 6927781d26 Merge. 1 week ago
CC_ISO15408 added define_macros, corrections in 02_Background 4 months ago
CENELEC_50128 a first imprfect solution for the assert* problem; 4th chapter roughly completed. 1 week ago
math_exam mmm 6 months ago
scholarly_paper Merge. 1 week ago
technical_report Merge. 1 week ago Restrucuring. 2 years ago
ROOTS steps to reform cicm/csp paper and manual 2 months ago


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.