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
This site is compiled with nanoc. Built from code written by Cyril Cohen.