emeryberger merged emeryberger/LeanToPython#9 · July 4, 2026 12:42 Grammar-based differential fuzzer + bug ledger (6 bugs fixed) #9 Stacked on #8 (base = reland-corpus-port) — merge that first.Adds a grammar-based differential fuzzer (fuzz/) and documents every bug found by i… +1,469 -7