Slashdot Items Tagged "computerassisted"

Date / Time	Story
Tuesday February 18, 2014 @02:39PM	A Mathematical Proof Too Long To Check

It is easier to write an incorrect program than understand a correct one.