Vladimir Voevodsky

icon indicating a website link http://www.math.ias.edu/vladimir/

icon location Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.

Results 1 repositories owned by Vladimir Voevodsky

Foundations

46
Stars
3
Forks
Watchers

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

verified publisher icon vladimirias