4 ms·
Homotopy 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.
by danharaj 9y ago
Homotopy 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.