Wciąż wiele do ustalenia, jak zintegrować się z procesami myślowymi ludzkich matematyków, aby lepiej uchwycić pedagogiczne cele dowodów, a nie tylko epistemologiczne. Ale cieszę się, że mogę być częścią tej podróży z resztą zespołu @mathematics_inc.