Independent verification: Bernstein certificates for all 47 outer inequalities - #813

Independent verification: Bernstein certificates for all 47 outer inequalities#813

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

bitplane:research/independent-verification-seed79bitplane/integer-mult-bounds:research/independent-verification-seed79Copy head branch name to clipboard