Ce site Web nécessite JavaScript.
Tableau de bord
Explorateur
Aide
Connexion
Isabelle/DOF
Suivre
Dépôts
1
Projets
Paquets
Rechercher
Trier
Plus récent
Plus ancien
Par ordre alphabétique
Par ordre alphabétique inversé
Mis à jour récemment
Mis à jour jadis
Favoris (décroissant)
Favoris (croissant)
Bifurcations (décroissant)
Bifurcations (croissant)
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
Actualisé
2024-04-16 09:11:13 +00:00