New top story on Hacker News: Leslie Lamport Tells Mathematicians How to Write Proofs (2014)

Leslie Lamport Tells Mathematicians How to Write Proofs (2014)
121 by smithmayowa | 75 comments on Hacker News.

• Tweet
• Share
• Share
• Share
• Share