128,339 views
2 years ago
49,839 views
1 day ago
37,111 views
5 years ago
236,123 views
Show more
64,576 views
1,891
0
Computerphile
2.39M subscribers
Tags
computers
computerphile
computer
science
Computer Science
University of Nottingham
Type Theory
Agda
Programming
coding
math
mathematics
functional programming
FP
formal computer science
proof
395 Comments