Independent audit of Lemma CR2 and Theorem B2 (item 2 of the 1166 independent-check request) - #2293

Independent audit of Lemma CR2 and Theorem B2 (item 2 of the 1166 independent-check request)#2293

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

navinor:research/agent-47-cr2b2-audit-4f435ab7navinor/integer-mult-bounds:research/agent-47-cr2b2-audit-4f435ab7Copy head branch name to clipboard