SOURCE-LINKED INTELLIGENCE
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.
Read original source ↗ Open in workspace
- recordType
- paper
- region
- Global
Evidence & attribution
- arXiv · AI, language, vision and robotics · 2026-09-21T17:57:30.000Z
First collected: 2026-09-23T06:11:12.848Z. This is not the publication date.