Skip to content

feat(FLP): some technical machineries for reasoning about diamond and fairness properties#612

Open
ctchou wants to merge 12 commits into
leanprover:mainfrom
ctchou:flp-technical
Open

feat(FLP): some technical machineries for reasoning about diamond and fairness properties#612
ctchou wants to merge 12 commits into
leanprover:mainfrom
ctchou:flp-technical

Merge remote-tracking branch 'upstream' into flp-technical

6787601
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jun 22, 2026 in 4s