Whoa. Mycket fint och välgjort. Jag är nyfiken på hur dessa verktyg kommer att driva unga matematiker och matematiker. En del av det nödvändiga arbetet med att studera matematik är att smärtsamt reflektera över ett bevis du kanske aldrig löser, men övningen är bra för att utveckla struktur och intuition.