emeryberger merged emeryberger/LeanToPython#1 · June 29, 2026 09:51 Fix LCNF extraction bugs: Bool-param branch inversion & binary min/max operand drop #1 Fix two LCNF extraction bugs found extracting real-world codeWhile using LeanToPython to extract verified algorithms fromScalene's profiler into … +142 -3