Lean Pool: An AI-Maintained Archive of Formalized Mathematics
Vasily Ilin
Preprint: not peer reviewed. Results may change in later versions.
Abstract
Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.
Record
- Archive ID
- arxiv:2609.25199
- Published
- Sep 21, 2026
- arXiv
- 2609.25199
- Categories
- cs.AI
- Provenance
- arxiv