Correctness proofs of distributed systems with Isabelle [video]youtube.com5 points·skovorodkin··0 commentsOpen articleSaveView on HN