emeryberger merged plasma-umass/scalene#1077 · June 30, 2026 21:00 Fix two divide-by-zero / unbounded-sampling bugs found by formalization #1077 Two real defects surfaced while formalizing Scalene's correctness in Lean. Formalizing forces every implicit assumption to be named; auditing those… +104 -4