Correctness proofs of distributed systems with Isabelle(codesync.global)

https://codesync.global/media/correctness-proofs-of-distributed-systems-with-isabelle-cmldn19/