emeryberger merged emeryberger/LeanToPython#6 · July 4, 2026 08:41 Port full corpus to Lean 4.31 + fix Option-cases default arm #6 Stacked on #5 (base = roundtrip-faithfulness) — merge that first.The example corpus still used APIs removed/renamed in 4.31, so several modules … +10,189 -10,752