3 ms·
It's popular at CMU? It got a huge-for-pure-math grant 5 years ago (https://homotopytypetheory.org/2014/04/29/hott-awarded-a-muri/ https://homotopytypetheory.o
by s17n 6y ago
It's popular at CMU? It got a huge-for-pure-math grant 5 years ago (https://homotopytypetheory.org/2014/04/29/hott-awarded-a-muri/ https://homotopytypetheory.org/2014/04/29/hott-awarded-a-mur...)? Idk.