Skip to content

Prove the best-quotient staircase of the sharp net splitting tax (no κ) - #7135

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w16-1110b-net-split-staircase
Open

Prove the best-quotient staircase of the sharp net splitting tax (no κ)#7135
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w16-1110b-net-split-staircase

feat(research): prove the staircase of best net-split quotients

7741b65
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Nov 10, 2026 in 4m 39s