Lean Pool：一个由AI维护的形式化数学档案库
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
- University of Washington（华盛顿大学）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本文介绍Lean Pool，一个由AI智能体增长、维护和优化的形式化数学存储库，旨在实现自动化管理。
AI中文摘要：
Lean Pool是一个形式化数学的存储库，由AI智能体进行增长、维护和优化。
英文摘要：
Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
