Homotopy Type Theory Discussed - Computerphile
23:40
The Hardest Problem in Type Theory - Computerphile
15:11
The Foundation of Mathematics - Numberphile
17:46
Propositions as Types - Computerphile
19:58
DeepSeek is a Game Changer for AI - Computerphile
19:24
Type Theory for the Working Rustacean - Dan Pittman
10:36
Dieter Nuhr GENIALE Wahlempfehlung 📢 So PEINLICH ist die Politik 🤡
16:20
Von Neumann Architecture - Computerphile
15:56