3000+ Courses from California Community Colleges

HoTT in Lean4

HoTT in Lean4

Hausdorff Center for Mathematics via YouTube Direct link

Sina Hazratpour: HoTT in Lean4

1 of 1

1 of 1

Sina Hazratpour: HoTT in Lean4

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

HoTT in Lean4

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Sina Hazratpour: HoTT in Lean4

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.