This repo contains a custom build of the kernel of Lean 4 for fuzzing.
The repo contains modified versions of lean4, mimalloc and Chris Bailey's fork of lean4export, as well as custom code and infrastructure for building the modified kernel, creating a corpus of examples, and running AFL++ on it.