C cs.stackexchange.com Why is writing mathematical proofs more fault-proof than writing code? (2011) 238 points dgellow 8 years ago 132 comments
