Skip to content

Research (no κ claim): exact ten-H1 floor for an eight-field helper block - #5471

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
apoursh:research/bound-improvement-screen
Oct 25, 2026
Merged

Research (no κ claim): exact ten-H1 floor for an eight-field helper block#5471
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
apoursh:research/bound-improvement-screen

Prove a ten-H1 floor for a fixed eight-field helper block

77d2952
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 25, 2026 in 3m 20s