La chaire Biographie et publications Enseignements Audios & vidéos Actualités 1 cycles Filtres Type d'enseignement Type d'enseignement (-) Cours (1) Colloque (1) Leçon inaugurale (1) Année académique Année académique 2024 - 2025 (1) Filtres actifs Cours 2024 - 2025 Cours Théorie des types dépendants et formalisation des mathématiques Thierry Coquand 17 Mar 2025 → 19 Mai 2025 17 Mar 2025 → 19 Mai 2025
