Hugging Face daily papers·6d agoLean Pool: An AI-Maintained Archive of Formalized Mathematics#ai-agent#archive#formal-mathematics