💎 Emily Riehl, reconocida profesora de matemáticas en la Universidad Johns Hopkins: "La formalización ha cambiado por completo mi visión de lo que son las matemáticas. En realidad, la mayor parte de eso se debe a que me familiarizó con un enfoque diferente sobre los fundamentos de las matemáticas." Conversación completa con @jessemhan y @jdlichtman de Math, Inc. pronto.