Independent exact-F2 certificate: anti-Fano 12-line configuration has minimum cost 12 (no kappa claim) - #2379

Independent exact-F2 certificate: anti-Fano 12-line configuration has minimum cost 12 (no kappa claim)#2379

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

navinor:research/agent-53-independent-verification-22ae1f95navinor/integer-mult-bounds:research/agent-53-independent-verification-22ae1f95Copy head branch name to clipboard