ペンギンの杜

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

*Coq - - 高階述語論理証明アシスタント [#b6f361c9]
|メインページ|>| http://coq.inria.fr/|
|参考ページ1|>| http://|
|参考ページ2|>| http://|
|概要|>|高階述語論理証明アシスタント|
|カテゴリ|>|&soft_rcate(category/);|
|関連ソフト|>|&related2(soft/);|
|検索|>|&ins_gsearch(Coq);|
|ライセンス|フリー|&amazon_ad();|
|Debianパッケージ|[[coq:http://packages.debian.org/coq]]|~|
|Ubuntuパッケージ|[[coq:http://packages.ubuntu.com/coq]]|~|
|RPMパッケージ|[[coq:http://fr2.rpmfind.net/linux/rpm2html/search.php?query=coq]]|~|
|FreeBSD Ports|[[検索:http://www.freebsd.org/cgi/ports.cgi?stype=name&query=Coq]],&soft_addpkg(ports);|~|

|FreeBSD Ports|[[coq:http://www.freebsd.org/cgi/ports.cgi?stype=name&query=coq]]|~|

|登録日|2013-07-16|~|

***説明 [#ed706a0e]
高階述語論理証明アシスタント

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