Free Online

Homotopy Type Theory Courses and Certifications

Explore the foundations of Homotopy Type Theory (HoTT), including univalent foundations, cubical type theory, and formal proof techniques. Learn to formalize mathematics and automate reasoning using tools like Lean and Scala, with beginner-friendly video lectures from leading mathematicians on YouTube and Stepik.

28 courses
Related Subjects
  1. Category Theory Courses
  2. Algebraic Topology Courses
  3. Mathematical logic Courses
  4. Set Theory Courses
  5. Functional Programming Courses
Showing 28 courses
Filter by
Filters
  1. Level
  2. Duration
  3. Language
    • YouTube
    • 1 hour 3 minutes
    • On-Demand
    • Free Video
    • YouTube
    • 1 hour 4 minutes
    • On-Demand
    • Free Video
    • YouTube
    • 1 hour 12 minutes
    • On-Demand
    • Free Video
    • YouTube
    • 18 hours 4 minutes
    • On-Demand
    • Free Video

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.