Skip to content

Prove coupled E8 coordinate floors and the 28-neighbor partial-quotient case - #4052

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
conorholds:submission/e8-coupled-coordinate-audit-fixed
Oct 20, 2026
Merged

Prove coupled E8 coordinate floors and the 28-neighbor partial-quotient case#4052
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
conorholds:submission/e8-coupled-coordinate-audit-fixed

Prove coupled E8 coordinate and neighbor-supported COPY floors

7541aca
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 19, 2026 in 1m 44s