Lean Pool: An AI-Maintained Archive of Formalized Mathematics
arXiv:2609.25199v1 Announce Type: new Abstract: Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
Read the full story at arXiv cs.AI ↗
Timeline · 1 report
- 2026-09-23 04:00 · arXiv cs.AI
Lean Pool: An AI-Maintained Archive of Formalized Mathematics