Code
- My code on Github
- Univalent Mathematics: UniMath
Events
- HoTT/UF Workshop 2018
- School on Univalent Mathematics in December 2017 in Birmingham, UK
- Mini-Symposium Homotopy Type Theory and Univalent Foundations , part of DMV 2015
This site is compiled with
nanoc.
Built from code written by Cyril Cohen.