“Correctness Proofs of Distributed Systems with Isabelle” by Martin Kleppmannyoutube.com3 points·tta··0 commentsOpen articleSaveView on HN