Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.

certification isabelle ontology

Go to file

Chantal Keller 80f92c168c BAC2017: tried proofs		2018-06-06 08:37:06 +02:00
document-generator	Eat more white spaces.	2018-06-05 02:39:42 +01:00
examples	BAC2017: tried proofs	2018-06-06 08:37:06 +02:00
ontologies	Merge branch 'master' of logicalhacking.com:HOL-OCL/Isabelle_DOF	2018-06-05 01:06:35 +01:00
.gitignore	Added: simple test setup.	2018-03-06 09:44:07 +00:00
Assert.thy	Kind of current status.	2018-02-07 19:44:27 +01:00
AssertLong.thy	Kind of current status.	2018-02-07 19:44:27 +01:00
Isa_DOF.thy	Forgotten in previous commit	2018-05-28 16:11:28 +02:00
Isa_MOF.thy	Kind of current status.	2018-02-07 19:44:27 +01:00
MyCommentedIsabelle.thy	Added syntactic constants for classes (for proper	2018-05-15 09:11:17 +02:00
README.md	Kind of current status.	2018-02-07 19:44:27 +01:00
ROOT	Included standard ontologies into ROOT;	2018-05-24 11:30:01 +02:00
RegExp.thy	Conflict resolved.	2018-05-21 11:19:40 +02:00
TODO	Added more checks.	2018-02-09 12:25:15 +01:00

README.md

Isabelle_DOF

--- Isa_DOF is currently not used. it is based on an reflection approach (a la Frederic) but was abandoned as too heavy for this little nut to crack