Šai lapas darbībai ir nepieciešams JavaScript.
Infopanelis
Izpētīt
Palīdzība
Pierakstīties
Isabelle/DOF
Sekot
Repozitoriji
1
Projekti
Pakotnes
Meklēt
Kārtot
Jaunākie
Vecakie
Alfabētiski
Pretēji alfabētiski
Nesen atjaunotās
Vissenāk atjaunotās
Visvairāk atzīmētie
Vismazāk atzīmētie
Visvairāk atdalītie
Vismazāk atdalītie
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
Atjaunināts
2024-04-16 09:11:13 +00:00