Skip to content

Prove sharp logarithmic height 12040587444441491 (no new κ) - #5920

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1022ab-integer-carrier-height
Oct 27, 2026
Merged

Prove sharp logarithmic height 12040587444441491 (no new κ)#5920
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w2-1022ab-integer-carrier-height

feat(research): prove the exact integer carrier height

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

Annotations

1 error
plan
failed Oct 27, 2026 in 4m 24s