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

certificationisabelleontology

Achim D. Brucker cd58f6b056 Removed all parts that will not be submitted to the AFP.		2024-04-26 02:35:00 +01:00
.woodpecker	Test with Isabelle 2023.	2023-09-14 06:29:01 +01:00
Isabelle_DOF	Spell Checking.	2024-04-26 02:32:25 +01:00
.gitattributes	Initial commit.	2022-07-07 22:43:25 +01:00
.gitignore	Ignore generated latex-outputs in test session.	2023-02-25 11:01:58 +00:00