A Computer Scientist Tells Mathematicians How to Write Proofs230 points by xhevahirRead the articleDiscussion on Hacker News