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