MENU
Home
Mp3 Beta
Fun & Interesting
Funny videos
Tik Tok is funny
Bigo Hot Girls
K-Pop
Funny accident
Comedy
Record Guinness
Funny animals
Got Talent
Talented people
How do they do it?
Unique invention
Strange world
The camera comes back
Movie theaters
Movie 18+
Comedy
Short film
Share on
Facebook
Share on
Twitter
Nghe mp3
TPIL 2025: Lecture 1 - Dependent type theory
Mario Carneiro
185
2 weeks ago
Video Not Working?
Fix It Now
Lecture 1 of TPIL 2025, Chalmers University of Technology
Comment