HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
Alumni Spotlight: Espen Ytreberg 01.07.2021 08:39 -
Good policies: morality, democracy and experts 28.06.2021 10:55 -
Understanding mathematical motives 24.06.2021 10:16 -
Books known only by title: A widespread and misunderstood phenomenon 24.06.2021 10:15 -
Former YoungCAS workshop leader receives research funding 11.06.2021 10:34
