Lean Pool: An AI-Maintained Archive of Formalized Mathematics
arXiv:2609.25199
Abstract
Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
arXiv comment52 pages, 6 figures. Includes a catalogue of imported projects