Leslie Lamport – How to Write a 21st Century Proof (2012) [pdf]

Comments



from Hacker News http://bit.ly/1AeCTWp