This website requires JavaScript.
Pannello di controllo
Esplora
Aiuto
Accedi
Isabelle/DOF
Segui
Repository
1
Progetti
Pacchetti
Cerca
Ordina
Più recenti
Più vecchi
In ordine alfabetico
In ordine alfabetico inverso
Aggiornati di recente
Aggiornati tempo fa
Più favoriti
Meno favoriti
Maggior numero di fork
Minor numero di fork
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
Aggiornato
2024-04-26 01:42:52 +00:00