Leslie Lamport Tells Mathematicians How to Write Proofs (2014)

Article URL: https://blogs.scientificamerican.com/roots-of-unity/computer-scientist-tells-mathematicians-how-to-write-proofs/

Comments URL: https://news.ycombinator.com/item?id=17430577

Points: 122

# Comments: 76

from Hacker News: Front Page https://ift.tt/2KnxIj6
via