ongardie/raft.tla

TLA+ specification for the Raft consensus algorithm

2 best points · 0 comments · 1 Hacker News post · 528 GitHub stars · View on GitHub

Hacker News discussions