Este sítio Web requer JavaScript.
Painel de controlo
Explorar
Ajuda
Iniciar sessão
Isabelle/DOF
Seguir
Repositórios
1
Planeamentos
Pacotes
Procurar
Ordem
Mais recentes
Mais antigas
por ordem alfabética
por ordem alfabética inversa
Modificadas recentemente
Modificadas há muito tempo
Favorito (decrescente)
Favorito (crescente)
Mais derivações
Menos derivações
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
Modificado
2024-04-16 09:11:13 +00:00