TLA+ specification for the Raft consensus algorithm
Primary LanguageTLA
No one’s star this repository yet.