Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Vasily Ilin

Lean Pool: An AI-Maintained Archive of Formalized Mathematics: 27 upvotes on Hugging Face Daily Papers, #12 of 24 papers on 2026-09-23. Day-by-day upvote history.

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

Paper page on Hugging Face · arXiv

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.