Coqスレat TECHCoqスレ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト10:デフォルトの名無しさん 11/04/02 19:11:35.48 Coq は、INRIA にて開発されている対話的定理証明支援系です。 Calculus of Inductive Construction (CIC) を基礎とし、Tactics と呼ばれるコマンドを駆使することにより証明を行います。 http://www.eva-01.jp/wiki/pukiwiki.php?Coq 11:デフォルトの名無しさん 11/04/03 15:07:37.93 証明のゴルフ場があったぞ。ダレとくwww http://d.hatena.ne.jp/kikx/20100807 12:デフォルトの名無しさん 11/04/05 19:08:32.94 女子高生によるほんわかCoqチュートリアルキター！！！！ むねあつ！!! http://www.iij-ii.co.jp/lab/techdoc/coqt/ 13:デフォルトの名無しさん 11/04/05 20:17:12.22 ＊ 「Coq！Coq！Coq！ どいつもこいつもCoq！ なぜだ！ なぜやつを認めて このおれを認めねえんだ！」 14:デフォルトの名無しさん 11/04/05 20:52:49.71 >>13 誰だお前？ 15:デフォルトの名無しさん 11/04/05 21:23:47.27 >>13 Isabelle乙 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch