HOL
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
開始行:
- http://hol.sourceforge.net/
- HOL4 is the latest version of the HOL interactive proof assistant for higher order logic: a programming environment in which theorems can be proved and proof tools implemented.
- HOL88->HOL90->HOL98->HOL4; Omega HOL
- ProofPower HOL
- GTT->HOL Light
- Isabelle HOL
[[:not yet:]]
終了行:
- http://hol.sourceforge.net/
- HOL4 is the latest version of the HOL interactive proof assistant for higher order logic: a programming environment in which theorems can be proved and proof tools implemented.
- HOL88->HOL90->HOL98->HOL4; Omega HOL
- ProofPower HOL
- GTT->HOL Light
- Isabelle HOL
[[:not yet:]]
ページ名: