UniMath

UniMath is a library of computer-checked mathematics in the univalent style.
It is hosted in a Github repository.

UniMath was founded in 2014, by Vladimir Voevodsky, Dan Grayson, and myself. It is now maintained by Dan Grayson and me.

School and Workshop on Univalent Mathematics

I run the School and Workshop on Univalent Mathematics.
The event has taken place twice so far, in 2017 and 2019. The 2020 edition has been postponed.


This site is compiled with nanoc. Built from code written by Cyril Cohen.