Ainda há muito a descobrir sobre como nos integramos aos processos de pensamento dos matemáticos humanos, para captar melhor os propósitos pedagógicos das provas, e não apenas os epistemológicos. Mas estou animado para fazer parte dessa jornada com o restante da equipe @mathematics_inc.