emeryberger merged emeryberger/SnakeLean#35 · July 8, 2026 12:22 fuzz(grammar): invent custom inductive types + functions over them #35 Whatgen.py now synthesizes custom inductive types per generated file (1–3 types, each 1–3 constructors over 0–3 base or strictly-earlier-user-type… +249 -13