Skip to content

feat(FLP): prove that asynchronous distributed consensus tolerating any non-zero number of faults is impossible - #765

Open
ctchou wants to merge 3 commits into
leanprover:mainfrom
ctchou:flp-work
Open

feat(FLP): prove that asynchronous distributed consensus tolerating any non-zero number of faults is impossible#765
ctchou wants to merge 3 commits into
leanprover:mainfrom
ctchou:flp-work