Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with isabelle-dof
A curated list of projects in awesome lists tagged with isabelle-dof .
https://github.com/logicalhacking/isabelle_dof
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
certification isabelle isabelle-dof ontology
Last synced: 16 Nov 2024
