このウェブサイトには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