Computer models and Today’s Mathematics.
Reading: A. Rodin, Voevodsky’s Unfinished Project, https://arXiv:2012.01150