New top story on Hacker News: Leslie Lamport Tells Mathematicians How to Write Proofs (2014)
Leslie Lamport Tells Mathematicians How to Write Proofs (2014)
123 by smithmayowa | 75 comments on Hacker News.
123 by smithmayowa | 75 comments on Hacker News.
Comments
Post a Comment