Mathematical logic Courses
École Polytechnique via France Université Numerique Universes in Set and Type Theory
Hausdorff Center for Mathematics via YouTube Constructive Mathematics - How to Not Believe in the Law of Excluded Middle
Hausdorff Center for Mathematics via YouTube Mario Carneiro: System Introductions I - Lean
Hausdorff Center for Mathematics via YouTube First-Order Logic from a Naproche Perspective
Hausdorff Center for Mathematics via YouTube Polynomial Functors Formalization Report
Hausdorff Center for Mathematics via YouTube Peculiarities of the Minimalist Foundation for Formal Mathematics
Hausdorff Center for Mathematics via YouTube A Categorical Account of the Setoid Model
Hausdorff Center for Mathematics via YouTube Teaching Mathematics to Computers - Modern Approaches and Challenges
Hausdorff Center for Mathematics via YouTube Towards a Formalized Proof of Carleson's Theorem
Hausdorff Center for Mathematics via YouTube