Prove Raft Correct

173 points by jtgi

Read the article

Discussion on Hacker News