Correctness proofs of distributed systems with Isabelle #1 Post by Aggy88 » Mon, Dec 02, 2019, 2:09 PM UTC Correctness proofs of distributed systems with Isabellecodesync.global