11:51
The proof assistant you already know
10:08
Why should you learn Type Theory?
07:03
I wanna be the rushed creation [TAS]
01:50
I wanna...
16:37
SHOWCASE ~ IWGBWA
10:41
I wanna create a boss - Tutorial
X
About
Maths and computer science enthusiast seeking a place to share these passions!
Tags