💎 Emily Riehl, renomada professora de matemática na Universidade Johns Hopkins: "A formalização mudou completamente minha visão sobre o que é matemática. Na verdade, a maior parte disso se deve ao fato de me familiarizar com uma abordagem diferente para os fundamentos da matemática." Conversa completa com a @jessemhan e @jdlichtman da Math, Inc. em breve.