waouh. très bien et bien fait. je suis curieux de voir comment ces outils vont pousser les jeunes mathématiciens et les mathématiques. une partie de la douleur nécessaire dans l'étude des mathématiques est de réfléchir douloureusement à une preuve que vous ne résoudrez peut-être jamais, mais l'exercice est bon pour développer la structure et l'intuition.