© 2021. All rights reserved.
A great talk by 2013 Turing Award winner: Leslie Lamport: How to write a 21st Century Proof
Link to publication with more details