Proof Theory Courses
Hausdorff Center for Mathematics via YouTube Dialectica Categories for All
Hausdorff Center for Mathematics via YouTube Peculiarities of the Minimalist Foundation for Formal Mathematics
Hausdorff Center for Mathematics via YouTube Cueology of Proof
Hausdorff Center for Mathematics via YouTube Diagrams and Proofs in Mathematics
Hausdorff Center for Mathematics via YouTube Formalizing Post-Rigorous Mathematics
Hausdorff Center for Mathematics via YouTube The Value of Errors in Proofs
Institute for Advanced Study via YouTube Where This Deadly Proof Falls Apart - Analyzing the Irrationality of sqrt(2)
Wrath of Math via YouTube The Value of Errors in Proofs
Fields Institute via YouTube Challenges in Formalising Recent Results in Formal Language Theory
Hausdorff Center for Mathematics via YouTube