3 ms·
Vladimir Voevodsky just died recently. For ambitious one-man projects probably that is also the end. https://www.ias.edu/news/2017/vladimir-voevodsky https://ww
by imeron 9y ago
Vladimir Voevodsky just died recently. For ambitious one-man projects probably that is also the end. https://www.ias.edu/news/2017/vladimir-voevodsky https://www.ias.edu/news/2017/vladimir-voevodsky :(
- danharaj 9y agoHomotopy type theory is most definitely not a one man project. It's a huge loss for the project to lose him but I think his vision will be realized.