5th HLF – Lecture Leslie Lamport
Metadata
Source URL:: https://youtube.com/watch?v=uBiJpip9NVc&si=wi1wwYZxeqbzHkz9
Topics:: #proofs
Leslie Lamport: "How to Write a 21st Century Proof”Mathematicians have made a lot of progress in the last 350 years, but not in writing proofs. The proofs th...