>>457
＞自動証明に期待をもつってのは･･･数学の出来ないやつだけだろ。
そんなことはない。頭の悪い奴に自分の証明を見せても
分からないときに、「貴方は分からないのかもしれない
けど、このプルーフ・チェッカーでは通ってるよ」、と
言える。（主張の正しさについての）肯定的な査読者が
増えたようなもの