数学基礎論・数理論理学　その11

このエントリーをはてなブックマークに追加
456 ：名無しさん：
とりあえず宣言しとくけど
今夜0時までに
田中の数学基礎論講義の5章までの定理をすべて
Coqで証明するよ＾＾