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 b0fbc80495 Excluded example of dangling reference from LaTex generation. 1 month ago
..
cenelec Excluded example of dangling reference from LaTex generation. 1 month ago
conceptual Something in Isabelle_DOF 1 month ago
math_exam some patches in install to make it run on MacOS 1 month ago
scholarly_paper Cleanup. 4 months ago
simple Towards a Consolidated CENELEC 50128. 3 months ago
technical_report xcgdfg 1 month ago
README.md Restrucuring. 5 months ago
ROOTS Initial setup: CENELEC 50128 example. 3 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.