This website requires JavaScript.
控制面版
探索
說明
登入
Isabelle/DOF
關注
儲存庫列表
1
Projects
Packages
搜尋
排序
最新建立
最早建立
按字母顺序排序
按字母反向排序
最近更新
最少更新
Most stars
Fewest stars
Most forks
Fewest 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
最後更新於
2024-03-14 09:22:09 +00:00