0042132人目の素数さん垢版 | 大砲2015/01/28(水) 18:28:09.93ID:Q7XfmRRj どのお題も超簡単なものだけに見えるのだが、それはなぜ? Coqでの証明法がだれにも分かりやすくなるようあえて題材は 簡単なものを選んでいるの? もっとCoqの強力さが分かる位難しい題材でやってくれんかな。 そもそもCoqではどの位難しいものがどの位の手間で証明できるの?