Lean Pool: An AI-Maintained Archive of Formalized Mathematics
Not on the map. Why?
Abstract (arXiv)
Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
Key facts. Cited by 1 paper in the map (data through 7 Oct 2026). First posted on arXiv 21 Sep 2026.
Builds on
0 of 0 references.
No references here yet.
Built on by
Citing papers per year: 2026: 1.
1 paper.