ペンギンの杜

• 追加された行はこの色 です。
• 削除された行はこの色 です。
• soft/HOL Light へ行く。

*HOL Light - - 高階述語論理用の定理証明システム [#s007329a]
|メインページ|>| http://www.cl.cam.ac.uk/~jrh13/hol-light/|
|参考ページ1|>| http://|
|参考ページ2|>| http://|
|概要|>|高階述語論理用の定理証明システム|
|カテゴリ|>|&soft_rcate(category/);|
|関連ソフト|>|&related2(soft/);|
|検索|>|&ins_gsearch(HOL Light);|
|ライセンス|フリー|&amazon_ad();|
|Debianパッケージ|[[hol-light:http://packages.debian.org/hol-light]]|~|
|Ubuntuパッケージ|[[検索:http://packages.ubuntu.com/search?keywords=HOL+Light]],&soft_addpkg(Ubuntu);|~|

|Ubuntuパッケージ|[[hol-light:http://packages.ubuntu.com/hol-light]]|~|

|RPMパッケージ|[[検索:http://fr2.rpmfind.net/linux/rpm2html/search.php?query=HOL+Light]],&soft_addpkg(RPM);|~|
|FreeBSD Ports|[[検索:http://www.freebsd.org/cgi/ports.cgi?stype=name&query=HOL+Light]],&soft_addpkg(ports);|~|
|登録日|2012-05-23|~|

***説明 [#ub12cdeb]
高階述語論理用の定理証明システム

----
***コメント [#fb46eee5]
#comment(above)