Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
- Preview
- Year
- 2026
- Stars
- 124
- Hosting
- Full text hostedCC-BY-4.0
Cite
Notes
Only stored in your browser.
Attribution
- Abstract & full text
- arxiv.org/abs/2609.25199CC-BY-4.0
- TL;DR
- Semantic Scholar