沙丘社区
论文

Lean Pool：一个由 AI 维护的形式化数学档案

Lean Pool: An AI-Maintained Archive of Formalized Mathematics

Vasily Ilin
应用与实践科学研究

摘要

Lean Pool 是一个形式化数学仓库，由 AI 智能体进行生长、维护与优化。