Speaking of Lamport's "How to write a 21st-century proof" paper, here's a video of a great presentation he gave on this topic last year: https://www.heidelberg

Speaking of Lamport's "How to write a 21st-century proof" paper, here's a video of a great presentation he gave on this topic last year: https://www.heidelberg-laureate-forum.org/blog/video/lecture-tuesday-september-26-2017-leslie-lamport/ https://www.heidelberg-laureate-forum.org/blog/video/lecture...