emeryberger merged emeryberger/LeanToPython#21 · July 5, 2026 16:17 fuzz: harvest custom inductive/structure types (Phase 3) #21 Phase 3 of the bug-hunting roadmap — the largest unlock and hardest phase. Fragment-reuse now handles corpus functions whose parameters or return t… +483 -36