Lean Pool: An AI-Maintained Archive of Formalized Mathematics

T1Covered by 1 source · first reported by arXiv at 24 Sept, 04:00 UTC

arXiv:2609.25199v1 Announce Type: new Abstract: Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.

dev science

Sources

T1Lean Pool: An AI-Maintained Archive of Formalized MathematicsarXiv24 Sept, 04:00