The Math Tree
The Math Tree: Unlock the Structure of Mathematics.
Featured
6 Votes
Description
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.