Ще багато чого треба з'ясувати, як ми інтегруємося з мисленням людських математиків, щоб краще охопити педагогічні цілі доказів, а не лише епістемологічні. Але я радий бути частиною цієї подорожі разом з рештою команди @mathematics_inc.