Wow. Sehr schön und gut gemacht. Ich bin neugierig, wie diese Werkzeuge junge Mathematiker und die Mathematik voranbringen werden. Ein Teil des notwendigen Schmerzes beim Studium der Mathematik besteht darin, schmerzhaft über einen Beweis nachzudenken, den man vielleicht nie lösen wird, aber die Übung ist gut, um Struktur und Intuition zu entwickeln.