Comment on Open Thread: February 2010, part 2

Thu, 18 Feb 2010 01:10:17 GMT

Verifying a proof is quite a bit simpler that coming up with the proof in the first place.

Discuss