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.
 
 
 
 
 
Burkhart Wolff 9b08e92588 Experiments with the code generator for Isa_DOF class objects. 2 months ago
..
CC_ISO15408 added define_macros, corrections in 02_Background 1 year ago
CENELEC_50128 a first imprfect solution for the assert* problem; 4th chapter roughly completed. 11 months ago
cytology Experiments with the code generator for Isa_DOF class objects. 2 months ago
math_exam mmm 1 year ago
scholarly_paper Removed fixme. 11 months ago
technical_report all changes 6 months ago
README.md mmm 1 year ago
ROOTS steps to reform cicm/csp paper and manual 1 year 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.