Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Vasily Ilin

arXiv ID

2609.25199 v1

Abstract

Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.

Comment: 52 pages, 6 figures. Includes a catalogue of imported projects