Sketchnotes of the Laureate Dialogue: Leslie Lamport and Whit Diffie talk about writing algorithms and proofs. 23. Sep 2021 | By Constanza Rojas-Molina | 0 comments