Correctness Proofs of Distributed Systemsyoutube.com2 points·mbrodersen··0 commentsOpen articleSaveView on HN