TLA+ spec of raft consensus algorithm in etcd implementation#112

Closed

joshuazh-x wants to merge 1 commit intoetcd-io:mainfrom joshuazh-x:tlaplus-spec

+1,114

Commits on Nov 23, 2023

TLA+ spec of raft consensus algorithm in etcd implementation
joshuazh-x
committed