▲ 2 pointsWhy is writing mathematical proofs more fault-proof than writing code? (2011)cs.stackexchange.comby dgellow·8y ago·0 comments·view on hn ↗