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.
Elijah Butler
implying people are sincere and honest enought o actually work together
Xavier Parker
Shouldn't she be reading Mosley?
Andrew Bell
She can recite Mosley by heart. Now she's familiarizing herself with other authors.
Jack Perry
Good to know!
Landon Roberts
>i watched this theorem for 3 hours, nothing happened and the finale was bland
>this corollary is a sequel to the acclaimed 12-episode theorem but was not quite as good
>Tao-chan is my 2.5d wife
>rip hawking i guess black holes are forever stuck on boat lol
Ryder Jenkins
She is reading Codreanu nowadays.
Angel King
This is unironically a great idea.
Adrian Richardson
green tea!
John Sanders
cawfee
Benjamin Evans
can someone explain what myanimelist is to a Philistine?
Nicholas Baker
It's a place where you can show off how much of a weeb you are by listing all the animes you've watched.
Andrew Hernandez
Lmao my animelist desu ganbatte