This website requires JavaScript.
대시보드
탐색
도움말
로그인
Isabelle/DOF
추적하기
저장소
1
Projects
Packages
검색
정렬
최신
오래된
알파벳순
이름 역순으로 정렬
최근 업데이트
가장 최근에 업데이트
좋아요 많은 순
좋아요 적은 순
포크 많은 순
포크 적은 순
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