emeryberger merged emeryberger/LeanToPython#18 · July 5, 2026 13:42 fix: helper-scoping (F17) + cross-function name collisions (F18); corpus fully clean #18 Two related transpiler bugs; together they make all 128 harvestable corpus functions transpile and agree with the oracle — batched as well as alone (… +192 -34