HoTT-UF
Homotopy Type Theory and Univalent Foundations
Latest news
-
Alumna of the Month: Liv Ingeborg Lied 31.01.2023 11:48 -
Meet the Project: Representation theory – Combinatorial aspects and applications 09.12.2022 09:28 -
Cathrine Holst: Alumna of the Month 01.12.2022 10:23 -
Meet the Project: Social Science Meets Biology: Indigenous People and Severe Influenza Outcomes 31.10.2022 09:25 -
Inland Norway University of Applied Sciences (INN) partners with CAS 05.10.2022 13:47
