emeryberger merged emeryberger/LeanToPython#13 · July 5, 2026 06:54 fuzz: coverage-guided input search to close transpiled-Python adequacy gaps #13 Task-5 follow-up (from PLAN.md). The --pycov mode showed that random oracle inputs leave many transpiled functions' branches unexercised — e.g. yah… +562 -34