Lean Pool: An AI-Maintained Archive of Formalized Mathematics
Paper • 2609.25199 • Published • 27 •
3
Simon Kurgan
simku22
P(doom) 1%
AI & ML interests
None yet
Recent Activity
commentedon a paper 21 days ago
Lean Pool: An AI-Maintained Archive of Formalized Mathematics upvoted a paper 21 days ago
Lean Pool: An AI-Maintained Archive of Formalized Mathematics authored a paper 3 months ago
TheoremGraph: Bridging Formal and Informal MathematicsOrganizations
commented a
paper 21 days ago