日本語訳を準備しています…
要約
翻訳しています…
日本語訳
AIによる自動翻訳日本語訳を読み込んでいます…
原文を表示
Lean Pool: An AI-Maintained Archive of Formalized Mathematics
arXiv:2609.25199v1 Announce Type: new Abstract: Lean Pool is a repository of formalized mathematics. It is grown, maintained and optimized by AI agents.
原文は開いた時に読み込みます。