COQで巨大数RTAε0部門

COQで巨大数RTAε0部門

COQで巨大数を定義する時間を競います。

http://www.nicovideo.jp/watch/sm43713223