HOL Zero
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
開始行:
[[ICMS2010]] [[HOL]]
- http://www.proof-technologies.com/
-- %% 9/15 現在、アクセスできず。(WEB HOST CURRENTLY DOWN) だそうで。%%
- A new HOL system
- Free and open source
- Implemeted in OCaml
- Much smaller than the other HOL systems
- Can import proofs from other HOL systems
- camlp5 が必要らしい。
[[:not yet:]]
終了行:
[[ICMS2010]] [[HOL]]
- http://www.proof-technologies.com/
-- %% 9/15 現在、アクセスできず。(WEB HOST CURRENTLY DOWN) だそうで。%%
- A new HOL system
- Free and open source
- Implemeted in OCaml
- Much smaller than the other HOL systems
- Can import proofs from other HOL systems
- camlp5 が必要らしい。
[[:not yet:]]
ページ名: