Leslie Lamport Tells Mathematicians How to Write Proofs (2014)blogs.scientificamerican.com142 pointssmithmayowa8 years ago