Skip to content

Prove the F′ certificate ceiling 360/17 on P120, down from 24 (no new κ) - #5956

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w14-1022ad-e8-fprime-ceiling
Oct 28, 2026
Merged

Prove the F′ certificate ceiling 360/17 on P120, down from 24 (no new κ)#5956
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w14-1022ad-e8-fprime-ceiling

feat(research): prove the F' certificate ceiling 360/17 on P120

600d46e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 27, 2026 in 3m 47s