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

Achim D. Brucker e72addeca8 Fixed typo.		2018-03-06 08:23:06 +00:00
document-generator	Fixed typo.	2018-03-06 08:23:06 +00:00
examples/simple	A decisive intermediate step: got sub-classing running,	2018-02-28 14:06:52 +01:00
.gitignore	Initial commit: Scala build setup.	2018-03-05 09:53:51 +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
CC_ISO15408.thy	Kind of current status.	2018-02-07 19:44:27 +01:00
CENELEC_50126.thy	A first implementation of the LaTeX Converter in Scala.	2018-03-01 17:14:03 +01:00
Isa_DOF.thy	A decisive intermediate step: got sub-classing running,	2018-02-28 14:06:52 +01:00
Isa_MOF.thy	Kind of current status.	2018-02-07 19:44:27 +01:00
MyCommentedIsabelle.thy	A decisive intermediate step: got sub-classing running,	2018-02-28 14:06:52 +01:00
README.md	Kind of current status.	2018-02-07 19:44:27 +01:00
ROOT	Kind of current status.	2018-02-07 19:44:27 +01:00
RegExp.thy	Kind of current status.	2018-02-07 19:44:27 +01:00
TODO	Added more checks.	2018-02-09 12:25:15 +01:00
converter.scala	yet another idea …	2018-03-02 07:29:53 +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