Homotopy Type Theory Courses
Stepik Georges Gonthier - Computer Proofs - Teaching Computers Mathematics, and Conversely
International Mathematical Union via YouTube A Fibrational Framework for Modal Dependent Type Theories
Hausdorff Center for Mathematics via YouTube A Fibrational Framework for Modal Simple Type Theories
Hausdorff Center for Mathematics via YouTube Discrete and Codiscrete Modalities in Cohesive HoTT
Hausdorff Center for Mathematics via YouTube Discrete and Codiscrete Modalities in Cohesive HoTT, II
Hausdorff Center for Mathematics via YouTube What is Homotopy Type Theory - HoTT
Hausdorff Center for Mathematics via YouTube Formalization in Homotopy Type Theory - Equivalences, 3-for-2 and Definitional Equality
Hausdorff Center for Mathematics via YouTube Automating Reasoning in Cubical Type Theory
Hausdorff Center for Mathematics via YouTube HoTT in Lean4
Hausdorff Center for Mathematics via YouTube