Skip to content

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

Closed
joshuazh-x wants to merge 1 commit into
etcd-io:mainfrom
joshuazh-x:tlaplus-spec
Closed

TLA+ spec of raft consensus algorithm in etcd implementation#112
joshuazh-x wants to merge 1 commit into
etcd-io:mainfrom
joshuazh-x:tlaplus-spec

TLA+ spec of raft consensus algorithm in etcd implementation

6061d6c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs