Tato stránka vyžaduje JavaScript.
Přehled
Procházet
Nápověda
Přihlásit se
Isabelle/DOF
Sledovat
Repozitáře
1
Projekty
Balíčky
Vyhledat
Seřadit
Nejnovější
Nejstarší
Od začátku abecedy
Od konce abecedy
Nedávno aktualizované
Dlouho neaktualizované
Nejvíce hvězdiček
Nejméně hvězdiček
Nejvíce rozštěpení
Nejméně rozštěpení
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
Upraveno
2024-04-26 06:01:09 +00:00