All activity
Michael Lucasstarted a discussion
We have a Reddit!
Join our subreddit here: r/TheMathTree! We released Hilbert's Axioms of Euclidean Geometry in late August and we have another package coming soon 👀 Check them out: TheMathTree.net
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.
The Math TreeThe Math Tree: Unlock the Structure of Mathematics.
Michael Lucasleft a comment
We built The Math Tree because we're tired of hearing 'math was my worst subject' or 'why would I ever use this?' Our biggest motivation is to show everyone, especially students, how beautifully interconnected every single concept in math truly is. What makes our beta launch unique is that we're not just digitizing books; we've created the world's first fully-formalized, visual, and...
The Math TreeThe Math Tree: Unlock the Structure of Mathematics.