/raft.tla

TLA+ specification for the Raft consensus algorithm

Primary LanguageTLA

Watchers