Isabelle/DOF

Follow

Repositories

1

Projects Packages

Search

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks

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-26 06:01:09 +00:00