42,887 views
1 day ago
97,005 views
6 years ago
64,574 views
2 years ago
Show more
128,333 views
3,750
0
Computerphile
2.39M subscribers
Tags
computers
computerphile
computer
science
Computer Science
Theoretical Computer Science
Thorsten Altenkirch
University of Nottingham
Martin Hofmann
Type Theory
Formal Computer Science
Proof
Mathematical Proof
287 Comments