jinlmsft/raft.tla

TLA+ specification for the Raft consensus algorithm

GitHub repository with 19 stars and 8 forks.

Language: TLA

Open provider repository