HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
‘No community can survive without synchronisation’ 26/06/2019 -
Making “demise” a topic in religious studies 26/06/2019 -
‘Our modern society depends on correct mathematics’ 25/06/2019 -
Alumni Spotlight: Inger Nordal about species and Arctic collaboration 30/05/2019 -
CAS strengthens concluded projects 28/05/2019
