This website requires JavaScript.
Pulpit
Odkrywaj
Pomoc
Zaloguj się
Isabelle/DOF
Obserwuj
Repozytoria
1
Projekty
Packages
Szukaj
Sortuj
Najnowsze
Najstarsze
Alfabetycznie
Alfabetycznie odwrotnie
Ostatnio aktualizowane
Najdawniej aktualizowane
Najwięcej gwiazdek
Najmniej gwiazdek
Najwięcej forków
Najmniej forków
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
Zaktualizowano
2024-04-16 09:11:13 +00:00