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