emeryberger merged emeryberger/LeanToPython#17 · July 5, 2026 12:52 fix: map missing List/Array/String builtins (F16); unblock Corpus.Production #17 Continuing the bug hunt after the getElem! fix (#16). Phase-1 corpus fuzzing over Corpus.Strings.*/Corpus.Production.* surfaced several Lean builti… +105 -30