Davide Trotta: Doctrines for Formal Mathematics External Video-URL https://www.youtube.com/watch?v=k9g_XX7-mso Preview-Image Search Engine Exclude no
