A Computer Scientist Tells Mathematicians How to Write Proofs

230 points by xhevahir

Read the article

Discussion on Hacker News