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

naveed July 01, 2018 Hacker News

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

No comments

Subscribe to: Post Comments ( Atom )