Container definitions (tested with docker and podman) for SCALE-MAMBA.
Updated 2021-01-31 15:01:04 +00:00
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
Updated 2023-12-21 11:29:25 +00:00
Updated 2021-07-09 15:37:43 +00:00
pierre.derathe / Isabelle_DOF
Archived
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
Updated 2023-02-20 11:29:15 +00:00
Render Github issues as iCalendar feed
Updated 2023-08-30 08:55:27 +00:00
This is a graphical user interface for OFMC
Updated 2023-10-22 14:55:26 +00:00
Local mirror of The Core DOM (Core_DOM) entry of the Archive of Formal Proofs (AFP).
Updated 2021-03-11 11:52:00 +00:00
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
Updated 2024-04-16 09:11:13 +00:00