💎 艾米莉·里尔（Emily Riehl），约翰霍普金斯大学著名数学教授： “形式化完全改变了我对数学的看法。 实际上，这主要是因为它让我接触到了数学基础的不同方法。” 与 Math, Inc. 的 @jessemhan 和 @jdlichtman 的完整对话即将发布。