Proof repair: bootstrap cutoffs need only a stock constant (repair (b) of #1956; κ unchanged) - #1965

Proof repair: bootstrap cutoffs need only a stock constant (repair (b) of #1956; κ unchanged)#1965

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

JosieElliston:research/bootstrap-repair-bJosieElliston/integer-mult-bounds:research/bootstrap-repair-bCopy head branch name to clipboard