Je ještě mnoho věcí, které je třeba zjistit, jak se integrovat s myšlenkovými procesy lidských matematiků, abychom lépe zachytili pedagogické účely důkazů, nejen ty epistemologické účely. Ale těším se, že mohu být součástí této cesty s ostatními členy týmu @mathematics_inc.