Research (no κ claim): Gaussian E8 c = 20 exact certificates; local-rewrite census on #4088's T360 words - #4121

Research (no κ claim): Gaussian E8 c = 20 exact certificates; local-rewrite census on #4088's T360 words#4121

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

GamingPuzzled:research/gaussian-e8-c20-exactGamingPuzzled/integer-mult-bounds:research/gaussian-e8-c20-exactCopy head branch name to clipboard