The reverse mathematics zoo aims to be a database showing the relations and dependencies of mathematical theorems as described in the theory of reverse mathematics.
The system accepts new contributions, and is capable of generating diagrams showing the relations.