GR-TIG Lean 4 Blog
Lean 4 Datasets
Full Dataset Inspector
Full Error Dataset Inspector
Lean 4 LLMs
The Three Horsemen
The Three Horsemen's AGENTS.md
Repl Cryogenics
Full Dataset Inspector
The dataset is around 100MB in size and takes several seconds to download.