uau. muito bom e bem feito. estou curioso para saber como estas 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 você pode nunca resolver, mas o exercício é bom para desenvolver estrutura e intuição.