Has anyone applied fuzz testing to metatheory in an attempt to find inconsistencies in type theory implementations? I feel like I vaguely remember this being a thing.
Conversation
Replying to
There's also "Effect-Driven QuickChecking of Compilers" that found bugs in OCaml: janmidtgaard.dk/papers/Midtgaa - more for codegen than type checking though iirc.