Uau. Muito bom e muito bem feito. Tenho curiosidade de saber como essas ferramentas vão impulsionar jovens matemáticos e a matemática. Parte da dor necessária ao estudar matemática é refletir dolorosamente sobre uma prova que talvez você nunca resolva, mas o exercício é bom para desenvolver estrutura e intuição.