RottenTheorems is here
![Image](https://1.bp.blogspot.com/-ChWHkAjtHLo/X4zIxNou4dI/AAAAAAAAR1M/fUKnEuQUVs0qGIDZ62GRanXyLH52xmGtwCNcBGAsYHQ/w640-h360/Mathematistan2.jpg)
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.