Re:Homotopy Type Theory
by mhh__ on Wednesday June 23, 2021 @09:26PM
(#27612804)
Wow, you weren't kidding. I don't know how recently these were recorded but it's to cheap these days to get good video I get really annoyed seeing good material wasted by bad AV
[ Parent
| on HN ]
There are no comments on this comment yet.