Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
nicolas.meric / Isabelle_DOF
Isabelle 0 0
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
pierre.derathe / Isabelle_DOF
Isabelle 0 0
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
Isabelle_DOF / Isabelle_DOF
Isabelle 0 2
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
isabelle ontology certification
Updated 2024-04-16 09:11:13 +00:00