2026-09-23 · America/Los_Angeles · 论文 · #7

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.

热度 48.2 / 100；排名与评分保留该期记录。