attempt at summarizing Raft in one page of pseudo-code
warning: might not be entirely correct, check with TLA+ spec
build the PDF with pdflatex pseudocode.tex
ongardie/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
build the PDF with pdflatex pseudocode.tex