xiamengyu / raft.tla

TLA+ specification for the Raft consensus algorithm

Geek Repo

Github PK Tool