Subtitles section Play video

Subtitles and vocabulary

Click the word to look it up Click the word to find further inforamtion about it

Homotopy Type Theory: Vladimir Voevodsky - Computerphile

Video vocabulary