emeryberger merged emeryberger/LeanToPython#22 · July 5, 2026 18:45 fuzz: batch --corpus + cache TypeInfo (efficiency for massive-scale sweeps) #22 SummaryRemoves the efficiency bottlenecks (PLAN.md items 1, 2, 3) that blocked a multi-thousand-seed --corpus sweep from finishing on cloudnew's 1… +294 -81