Lean Pool: An AI-Maintained Archive of Formalized Mathematics
Lean Pool is an AI-maintained repository for archiving and optimizing formalized mathematics.
1 stories, newest first · one card per story
Lean Pool is an AI-maintained repository for archiving and optimizing formalized mathematics.
Today 1.5K readers · 2.4K views · 754 reads · all time 189K views