B blogs.scientificamerican.com A Computer Scientist Tells Mathematicians How to Write Proofs 230 points xhevahir 11 years ago 101 comments