How to Write a 21st Century Proof – Leslie Lamport 2011 [pdf]lamport.azurewebsites.net3 pointsnill0a year ago