/raft.tla

TLA+ specification for the Raft consensus algorithm

No issues in this repository yet.