Lessons from Metamath
1:07:41
TPIL 2025: Lecture 1 - Dependent type theory
33:29
Metamath Zero: Designing a Theorem Prover Prover
26:02
Arithmetic in Metamath, Case Study: Bertrand's Postulate (CICM 2015)
1:03:19
The Type Theory of Lean
1:51:01
Wolfram Summer School 2022: Physics and Metamath Opening Keynote with Stephen Wolfram
15:50
FULL REMARKS: JD Vance Puts European Leaders On Notice About Trying To Regulate U.S. Tech Giants
1:40:47
TPIL 2025: Lecture 4 - Searching mathlib; STLC formalization demo
35:02