Skip to content

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

Open
mihir-s-05 wants to merge 1 commit into
CrocSwap:mainfrom
mihir-s-05:research/gaussian-cross-rounding
Open

Prove the downward rounding contract for across-cell Gaussian entries#4449
mihir-s-05 wants to merge 1 commit into
CrocSwap:mainfrom
mihir-s-05:research/gaussian-cross-rounding

Commits

  1. Commits on Oct 21, 2026