Diese Website benötigt JavaScript.
Übersicht
Erkunden
Hilfe
Anmelden
Isabelle/DOF
Folgen
Repositories
1
Projekte
Pakete
Suche
Sortieren
Neueste
Älteste
Alphabetisch
Umgekehrt alphabetisch
Kürzlich aktualisiert
Am Längsten nicht aktualisiert
Meiste Favoriten
Wenigste Favoriten
Meiste Forks
Wenigste 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
Aktualisiert
2024-04-16 09:11:13 +00:00