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 6ad8391cc1 Merge branch 'main' into afp_resubmission		2024-04-26 07:00:57 +01:00
.woodpecker	Test with Isabelle 2023.	2023-09-14 06:29:01 +01:00
Isabelle_DOF	Merge branch 'main' into afp_resubmission	2024-04-26 07:00:57 +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
metadata.txt	Initial commit.	2024-04-26 02:37:29 +01:00