This website requires JavaScript.
Overzicht
Verkennen
Help
Inloggen
Isabelle/DOF
Volg
repositories
1
Projecten
Packages
Zoeken
Sorteer
Nieuwste
Oudste
Alfabetisch
Omgekeerd alfabetisch
Recent bijgewerkt
Minst recent bijgewerkt
Meeste sterren
Minste sterren
Meeste forks
Minste 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
Geupdate
2024-04-26 06:01:09 +00:00