Skip to content

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

Queued
ctchou wants to merge 4 commits into
leanprover:mainfrom
ctchou:flp-work
Queued

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

Update Cslib/Computability/Distributed/FLP/Impossibility.lean

a53a995
Select commit
Loading
Failed to load commit list.
Sign in for the full log view