Skip to content

feat(FLP): define pseudo-consensus and prove that it is implied by consensus#718

Open
ctchou wants to merge 2 commits into
leanprover:mainfrom
ctchou:flp-pseudo
Open

feat(FLP): define pseudo-consensus and prove that it is implied by consensus#718
ctchou wants to merge 2 commits into
leanprover:mainfrom
ctchou:flp-pseudo

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

a7ef6cf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jul 13, 2026 in 5s