Lean Pool: An AI-Maintained Archive of Formalized Mathematics

智能体 2026-09-21 来源：HuggingFace Daily Papers 自动聚合阅读 64 次 · 访客 64 位

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