search

ongardie / raft.tla

TLA+ specification for the Raft consensus algorithm
458 stars 74 forks source link

init change #12

Closed yulongkelly closed 2 years ago