Skip to content

Prove the narrow-row half-gap budget at 1/(16p^2). - #4648

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/narrow-row-half-gap-33f8
Oct 22, 2026
Merged

Prove the narrow-row half-gap budget at 1/(16p^2).#4648
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/narrow-row-half-gap-33f8

Prove the narrow-row half-gap budget at 1/(16p^2).

4fa9bc2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 22, 2026 in 3m 21s