3 ms·
Have you used it? If yes, could you elaborate? Or if you haven't, can you point to any recent source on what it's like to be using HoTT in 2024?
by staunton 2y ago
Have you used it? If yes, could you elaborate? Or if you haven't, can you point to any recent source on what it's like to be using HoTT in 2024?
- YetAnotherNick 2y ago[1] is the only video which I would say I found any bit accessible. But to be honest even after spending days, I couldn't grok it. And in my observation, different implementations of HoTT are quite different from each other. [1]: https://www.youtube.com/watch?v=x4cz1OgpU3M https://www.youtube.com/watch?v=x4cz1OgpU3M