Bu web sitesinin çalışması için JavaScript gereklidir.
Pano
Keşfet
Yardım
Giriş Yap
Isabelle/DOF
Takip Et
Depolar
1
Projeler
Paketler
Ara
Sırala
En yeni
En eski
Alfabetik
Ters alfabetik
Yakın zamanda güncellenmiş
Yakın olmayan zamanda güncellenmiş
En çok yıldızlılar
En az yıldızlılar
En çok çatallananlar
En az çatallananlar
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
Güncellendi
2024-04-16 09:11:13 +00:00