Skip to content

feat(FLP): show that asynchronous distributed consensus is possible when there is no fault#619

Merged
fmontesi merged 9 commits into
leanprover:mainfrom
ctchou:flp-zero
Jun 19, 2026
Merged

feat(FLP): show that asynchronous distributed consensus is possible when there is no fault#619
fmontesi merged 9 commits into
leanprover:mainfrom
ctchou:flp-zero

Merge remote-tracking branch 'upstream/main' into flp-zero

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

Annotations

1 warning
ci-checks
succeeded Jun 15, 2026 in 6m 19s