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

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

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

conorholds:submission/e8-coupled-coordinate-audit-fixedconorholds/integer-mult-bounds:submission/e8-coupled-coordinate-audit-fixedCopy head branch name to clipboard