HOL の変更点

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