Prove the downward rounding contract for across-cell Gaussian entries - #4449

Prove the downward rounding contract for across-cell Gaussian entries#4449

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

mihir-s-05:research/gaussian-cross-roundingmihir-s-05/integer-mult-bounds:research/gaussian-cross-roundingCopy head branch name to clipboard