Channel
Levels
Pronunciation Challenge
Saved
Search Vocabulary
About Voevodsky results of 1
Can't find a video you like? You can import your own too!
Filter
Relevance
05:53
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
5
B1
1
05:53