emeryberger starred emeryberger/LeanToPython · June 28, 2026 18:53 emeryberger/LeanToPython Lean 4 to Python transpiler - extracts idiomatic Python from LCNF Python 1 Updated May 27