Skip to content

Improve C17 upper bound below 3.792#127

Merged
teorth merged 1 commit into
teorth:mainfrom
maaxgrin:ramsey-3792-bound
Jul 17, 2026
Merged

Improve C17 upper bound below 3.792#127
teorth merged 1 commit into
teorth:mainfrom
maaxgrin:ramsey-3792-bound

Commits

Commits on Jul 4, 2026