This website requires JavaScript.
Instrumentpanel
Utforska
Hjälp
Logga in
Isabelle/DOF
Följ
Utvecklingskataloger
1
Projekt
Packages
Sök
Sortera
Nyaste
Äldsta
Alfabetiskt A-Ö
Alfabetiskt Ö-A
Nyligen uppdaterade
Äldst uppdaterad
Flest stjärnor
Minst stjärnor
Flest forks
Minst 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
Uppdaterad
2024-04-26 06:01:09 +00:00