HOL Zero
の編集
http://mathlibre.org/wiki/?HOL+Zero
[
トップ
] [
編集
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
-- 雛形とするページ --
(no template pages)
[[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:]]
テキスト整形のルールを表示する
![[PukiWiki]](image/knxmpen.png "[PukiWiki]")
