Lean Pool: an AI-maintained archive of formalized mathematics
Read the original at arxiv.org→arXiv:2609.25199v1 Announce Type: new Abstract: Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
Original headline: "Lean Pool: An AI-Maintained Archive of Formalized Mathematics"
Coverage timeline
- Sep 23, 04:00 UTC arXiv cs.AI lead source Lean Pool: An AI-Maintained Archive of Formalized Mathematics