Solution de la conjecture de Voevodsky

Plan du cours :

• énoncé de la conjecture qui affirme le caractère effectif du principe d’univalence ; 
• présentation de la preuve de Rafaël Bocquet de cette conjecture, preuve qui utilise la plupart des notions présentées dans ce cours.