whoa. very nice and well done. i’m curious how these tools will push young mathematicians and math. part of the necessary pain in studying math is reflecting painfully on a proof you may never solve but the exercise is good for developing structure and intuition.