【Coq】コンピューターで証明しよう【コック】©2ch.net

[0149 １３２人目の素数さん 2016/05/25(水) 20:55:32.32 ID:EofZeTbn]

俺の環境じゃ以下のもOmega解いてくれなかったわ。なぜ？

Theorem t:
2^10 > 1000.