Vladimir Voevodsky has died
Comments from the members of Homotopy Type Theory - Google Groups.<p><a href="https://groups.google.com/forum/#!topic/homotopytypetheory/K_4bAZEDRvE" rel="nofollow">https://groups.google.com/forum/#!topic/homotopytypetheory/K...</a>