Skip to content

Prove sharp ternary denominator cutoffs for short decompositions (no κ) - #6387

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w5-1102a-first-improvement
Nov 10, 2026
Merged

Prove sharp ternary denominator cutoffs for short decompositions (no κ)#6387
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w5-1102a-first-improvement

feat(research): prove sharp ternary denominator cutoffs

e3f1c9a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 2, 2026 in 4m 12s