Make the connections in The Math Tree Beta! See math like never before: fully formalized, visual, & navigable. The Math Tree is a fully formalized graph database of math where every theorem, definition, and equation is a node and their relations are edges.
