Why is writing mathematical proofs more fault-proof than writing code? (2011)

Article URL: http://ift.tt/2yfKzst

Comments URL: http://ift.tt/2CkvlcW

Points: 5

# Comments: 1

from Hacker News: Front Page http://ift.tt/2yfKzst
via