Nicht eingeloggt (Login)

Lecture 5 -- Monday, 27th of April

Leertaste = Abspielen/Pausieren
m = Stumm
f = Vollbild (Fullscreen)
ohne Einschränkung
20
01:31:21
Tashi Walde

Lecture 5 -- Monday, 27th of April

Part 1 : some more features of Sigma types

Part 2: the type of natural numbers

HoTT 2026

Erstellt am: 27.04.2026 16:11
Letzte Aktualisierung: 27.04.2026 16:13