Really nice survey. Enjoyed the bit about module systems - it's helping to put into words some of the things I've been pondering recently…
Quote Tweet
A survey of languages for formalizing mathematics. ~ Cezary Kaliszyk, Florian Rabe. arxiv.org/abs/2005.12876 #Logic #Math #ITP #MKM