Foundations

Voevodsky's original development of the univalent foundations of mathematics in Coq

GitHub

239 stars
29 watching
20 forks
Language: Coq
last commit: about 10 years ago

Screenshot of UniMath/Foundations website

www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html