1:33:01

TPIL 2025: Lecture 2 - Proof writing and tactics

1:40:47

TPIL 2025: Lecture 4 - Searching mathlib; STLC formalization demo

19:30

Microsoft Surface and AI Masterclass | Implementing AI in Education

31:59

Lessons from Metamath

1:00:11

From Scheme to Dependent Types in 100 lines by Gershom Bazerman (Part 1)

1:46:06

TPIL 2025: Lecture 3 - Inductive types

57:45

Visualizing transformers and attention | Talk for TNG Big Tech Day '24

2:09:48

C can do this too and it's faster than Python