Research: reproduce T185 and certify a precision-only kappa refinement - #2875

Research: reproduce T185 and certify a precision-only kappa refinement#2875

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

digitalis-p:research/t185-precision-20261016digitalis-p/integer-mult-bounds:research/t185-precision-20261016Copy head branch name to clipboard