4 ms·“Correctness Proofs of Distributed Systems with Isabelle” by Martin Kleppmann3 points by tta 7y ago