Research audit: sharp T37 integrality penalties (no new kappa) - #992

Research audit: sharp T37 integrality penalties (no new kappa)#992

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

woklerx:research/audit-seed65woklerx/integer-mult-bounds:research/audit-seed65Copy head branch name to clipboard