emeryberger merged emeryberger/LeanToPython#19 · July 5, 2026 14:26 fuzz: List Int / List Bool / nested-list element types (Phase 2) #19 Phase 2 of the bug-hunting roadmap — cheap element-type variety. Exercises the list combinators (map/append/cons/reverse) and List.length over non-… +121 -2