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

WasifWixNews July 01, 2018

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

Post a Comment

0 Comments