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 many people, coordinated by the UniMath Coordinating Committee.

School and Workshop on Univalent Mathematics

Together with many others, I run the School and Workshop on Univalent Mathematics.
The event has taken place three times so far, in 2017, 2019, and 2022.
I am always looking for funding for another edition.


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