Este site requer JavaScript.
Painel
Explorar
Ajuda
Acessar
Isabelle/DOF
Seguir
Repositórios
1
Projetos
Pacotes
Pesquisar
Ordenação
Mais recentes
Mais antigos
Alfabeticamente
Alfabeticamente inverso
Mais recentemente atualizados
Menos recentemente atualizados
Mais estrelas
Menos estrelas
Mais forks
Menos 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
Atualizado
2024-04-26 01:42:52 +00:00