此网站需要 JavaScript。
首页
探索
帮助
登录
Isabelle/DOF
关注
仓库列表
1
项目
软件包
搜索
排序
最新创建
最早创建
按字母顺序排序
按字母逆序排序
最近更新
最早更新
点赞由多到少
点赞由少到多
派生由多到少
派生由少到多
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-04-16 09:11:13 +00:00