💎 Emily Riehl, reconocida profesora de matemáticas en la Universidad Johns Hopkins: "La formalización ha cambiado completamente mi visión de lo que es la matemática. De hecho, la mayor parte de eso se debe a que me familiarizó con un enfoque diferente sobre los fundamentos de la matemática." Pronto, la conversación completa con @jessemhan y @jdlichtman de Math, Inc.