Skip to content

Prove hub excess 4h(h+1) for every hub count (no new κ) - #5951

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w11-1022ad-hub-excess-all-h
Oct 28, 2026
Merged

Prove hub excess 4h(h+1) for every hub count (no new κ)#5951
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w11-1022ad-hub-excess-all-h

feat(research): prove hub excess 4h(h+1) for every hub count

a74c522
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 27, 2026 in 4m 35s