Method + knowledge (no frontier claim): read-then-climb bit word R687 (c ≈ 1.315433·10⁻³), a copy lower bound, exact pivot certificates - #504

Method + knowledge (no frontier claim): read-then-climb bit word R687 (c ≈ 1.315433·10⁻³), a copy lower bound, exact pivot certificates#504

DreamingOfClouds wants to merge 60 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:e8-r687-read-then-climbDreamingOfClouds/integer-mult-bounds:e8-r687-read-then-climbCopy head branch name to clipboard