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.
 
 
 
 
 
Nicolas Méric d2a6106be5 Fix the record generation in class implementation 2 months ago
..
latex Fixed package name. 1 year ago
Assert.thy mmm 2 years ago
AssertLong.thy mmm 2 years ago
Isa_COL.thy basically table_inline. 8 months ago
Isa_DOF.thy Fix the record generation in class implementation 1 month ago
RegExpInterface.thy restructuring command-syntax doc_class 4 months ago