Nicht eingeloggt (Login)

Lecture 10 -- Wednesday, 13th of May

Leertaste = Abspielen/Pausieren
m = Stumm
f = Vollbild (Fullscreen)
ohne Einschränkung
5
01:33:54
Tashi Walde

Lecture 10 -- Wednesday, 13th of May

  • Contractible types
  • Propositions

HoTT 2026

Erstellt am: 13.05.2026 15:58
Letzte Aktualisierung: 13.05.2026 15:59