RottenTheorems is here
So the guys in Twitter were shooting the breeze/jogando conversa fora about mathematics. This can be fun, like when I showed them this beautiful map of Mathematistan And lots of people enjoyed playing with the map. The Artem Chernikov suggested that we should build a database of theorems. Since this fits very well with my other generic projects (with Brendan and Evan and Wilmer ) on mathematics and an ontology for category theory, I thought I would grab the name for a Google blog.