Here's a video of an excellent presentation Lamport gave on "21st-century proofs" last year: https://www.heidelberg-laureate-forum.org/blog/video/lecture-tuesd

Here's a video of an excellent presentation Lamport gave on "21st-century proofs" 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...