κ = 8.01083628465007e-4: #346's w3 bit word with Sussman's Lean-checked E8 unit as the complex supplier (+0.96 % over #350) - #352

κ = 8.01083628465007e-4: #346's w3 bit word with Sussman's Lean-checked E8 unit as the complex supplier (+0.96 % over #350)#352

DaysSky wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DaysSky:research/w3-p10b-e8-complexDaysSky/integer-mult-bounds:research/w3-p10b-e8-complexCopy head branch name to clipboard