Martin Kleppmann - Correctness proofs of distributed systems with Isabelle | Code Mesh LDN 19