Coqスレat TECHCoqスレ - 暇つぶし2ch29:デフォルトの名無しさん 11/05/12 20:58:15.53 俺も高校の時から英語の文献読んでたよ。 Coqは日本語の資料もあるし、それほど厳しくないと思われ 次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch