💎 Emily Riehl, välkänd professor i matematik vid Johns Hopkins University: "Formalisering har helt förändrat min syn på vad matematik är. Faktum är att det mesta beror på att det bekante mig med ett annat angreppssätt på matematikens grunder." Fullständig konversation med Math, Inc:s @jessemhan och @jdlichtman snart.