Skip to content

feat: prove the Ramsey theorem for infinite graphs - #281

Merged
fmontesi merged 12 commits into
leanprover:mainfrom
ctchou:graph-ramsey
Feb 19, 2026
Merged

feat: prove the Ramsey theorem for infinite graphs#281
fmontesi merged 12 commits into
leanprover:mainfrom
ctchou:graph-ramsey

Fix warnings casued by toolchain bump to v4.29.0-rc1

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

The logs for this run have expired and are no longer available.