Leslie Lamport Tells Mathematicians How to Write Proofs (2014)
121 by smithmayowa | 75 comments on Hacker News.
New top story on Hacker News: Leslie Lamport Tells Mathematicians How to Write Proofs (2014)
Related Posts
New top story on Hacker News: MIT Energy Initiative study reports on the future of nuclear energy
New top story on Hacker News: RPCS3 and Dolphin on macOS using gfx-portability
New top story on Hacker News: How LLVM Optimizes a Function
New top story on Hacker News: Ask HN: Where are other tech scenes outside Bay Area
New top story on Hacker News: A Containerized Polyglot Microservices on Kubernetes and Service Mesh
0 comments: