attempt at summarizing Raft in one page of pseudo-code
warning: might not be entirely correct, check with TLA+ spec
xun-gong/raft-pseudocode
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
attempt at summarizing Raft in one page of pseudo-code
warning: might not be entirely correct, check with TLA+ spec