This website requires JavaScript.
Kojelauta
Tutki
Apua
Kirjaudu sisään
Isabelle/DOF
Seuraa
Repot
1
Projektit
Paketit
Hae
Lajittele
Uusin
Vanhin
Aakkosjärjestyksessä
Käänteisessä aakkosjärjestyksessä
Äskettäin päivitetty
Kauiten aikaa sitten päivitetty
Eniten tähtiä
Vähiten tähtiä
Eniten forkattu
Vähiten forkattu
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
Päivitetty
2024-04-16 09:11:13 +00:00