広告

バックアップ一覧
差分を表示
現在との差分を表示
現在との差分 - Visual を表示
ソースを表示
soft/Coq へ行く。
- 1 (2013-07-16 (火) 23:01:59)
- 2 (2013-07-17 (水) 00:31:16)

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

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

説明

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

コメント

広告