emeryberger merged plasma-umass/scalene#1073 · June 30, 2026 11:47 Formal: regenerate verified oracle with upstream-fixed LeanToPython (drop min2 workaround) #1073 Follow-up to land a regeneration that never reached master.When extracting Scalene's defs to Python, Nat.min a b hit a LeanToPython bug that dropp… +137 -159 13 comments