💎 Emily Riehl, znana profesor matematyki na Uniwersytecie Johnsa Hopkinsa: „Formalizacja całkowicie zmieniła moje postrzeganie matematyki. Właściwie większość z tego wynika z tego, że zapoznała mnie z innym podejściem do fundamentów matematyki.” Pełna rozmowa z Math, Inc. z @jessemhan i @jdlichtman wkrótce.