Coqスレat TECHCoqスレ - 暇つぶし2ch112:デフォルトの名無しさん 11/11/11 16:16:46.14 Inductiveな型TからT_rectが生成される原理がどうしてもわからないなあ。 誰か教えてちょーだいな。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch