数学基礎論・数理論理学 その11at MATH数学基礎論・数理論理学 その11 - 暇つぶし2ch456:名無しさん 12/01/31 18:12:14.65 とりあえず宣言しとくけど 今夜0時までに 田中の数学基礎論講義の5章までの定理をすべて Coqで証明するよ＾＾ 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch