💎 Emily Riehl, gerenommeerd professor wiskunde aan de Johns Hopkins University: "Formalisatie heeft mijn kijk op wat wiskunde is volledig veranderd. Eigenlijk komt dat vooral omdat het me kennis heeft laten maken met een andere benadering van de fundamenten van de wiskunde." Volledige conversatie met Math, Inc.’s @jessemhan en @jdlichtman binnenkort.