Lean Pool: An AI-Maintained Archive of Formalized Mathematics

摘要

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