wow. molto bello e ben fatto. sono curioso di sapere come questi strumenti spingeranno i giovani matematici e la matematica. parte del dolore necessario nello studio della matematica è riflettere dolorosamente su una dimostrazione che potresti non risolvere mai, ma l'esercizio è utile per sviluppare struttura e intuizione.