3 ms·“Correctness Proofs of Distributed Systems with Isabelle” by Martin Kleppmann4 points by truth_seeker 7y ago