HOL Zero の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 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:]]