emeryberger merged emeryberger/LeanToPython#4 · July 4, 2026 07:57 Upgrade to Lean 4.31.0; fix enum/record/decidable transpilation #4 Toolchain upgrade (v4.12.0 → v4.31.0)The LCNF API changed substantially in 4.31: Decl, Code, FunDecl, LetDecl, LetValue, Param, Arg, Alt, Cases ar… +173 -47