Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence

Whole-channel inclusion: Institut Fourier is an honest teaching channel (title sample + 3 transcripts read: The one sample with a transcript is a genuine advanced mathematics lecture with proofs and theorem statements, consistent with the channel's title-sample verdict of whole.); this title passed a strict title check (sonnet) after a labelling pass.

A 42-minute video from Institut Fourier: “Guillaume Brunerie - Théorie des types dépendants et axiome d'univalence”.

Video by Institut Fourier, played through YouTube's embedded player.