ペンギンの杜

Linuxソフト集

広告

Coq - - 高階述語論理証明アシスタント

メインページ http://coq.inria.fr/
参考ページ1 http://
参考ページ2 http://
概要 高階述語論理証明アシスタント
カテゴリ [科学・技術/数学・統計学 ]
関連ソフト Prooftree
検索 CoqをGoogleで検索
ライセンス フリー
Debianパッケージ coq
Ubuntuパッケージ coq
RPMパッケージ coq
FreeBSD Ports coq
登録日 2013-07-16

説明

高階述語論理証明アシスタント


コメント

広告