Is there a service like "myanimelist" for theorems one can prove?
Service for theorems
Hudson Russell
Lincoln Evans
bump
Chase Gomez
Yes. They're called textbooks.
Wyatt Cooper
This thread made me laugh out loud. Thank you OP
Levi Gomez
Probably not, but there's this:
openproblemgarden.org
polymathprojects.org
and it helps to know: en.wikipedia.org
Though if what you want is a database of already proven theorems this might be closer to it: proofwiki.org
>t. high school children
Chase Miller
another wiki is this, it covers mostly the foundational stuff in a syllabus-like manner: mathonline.wikidot.com
Matthew Miller
This is an excellent idea user!
Cooper Clark
nlab
Nathan Young
Love nLab, but it's not like MyAnimeList.
Hudson Campbell
Stacks Project.