emeryberger merged emeryberger/LeanToPython#2 · July 2, 2026 06:56 Inline lambda bodies into comprehensions; emit set comprehensions #2 SummaryImproves the fidelity of Python comprehensions generated from Lean list operations.List comprehensions now inline the lambda body. xs.map… +552 -47