emeryberger merged emeryberger/LeanToPython#15 · July 5, 2026 12:00 fuzz: String/Char/Array Nat types + F14 handler fixes (Phase 1) #15 Phase 1 of the bug-hunting roadmap — the highest bug-yield type expansion. The Phase-0 self-coverage metric showed every const.String.*/const.Char.*/… +380 -28