Este sitio web requiere JavaScript.
Panel de control
Explorar
Ayuda
Iniciar sesión
Isabelle/DOF
Seguir
Repositorios
1
Proyectos
Paquetes
Buscar
Ordenar
Más recientes
Más antiguas
Alfabéticamente
Invertir alfabéticamente
Actualizada recientemente
Actualizada menos recientemente
Mas estrellas
Menor número de estrellas
La mayoría de forks
Menor número de 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
Actualizado
2024-04-26 06:01:09 +00:00