>>66

proof checkerと自動証明はまったく別ものだろう。
難度から言ったら自動証明のほうがはるかに、というより可能と
不可能の違い。