raft.tla/raft.tla at master ยท ongardie/raft.tla

TLA+ specification for the Raft consensus algorithm - ongardie/raft.tla
github.com github.com