La chaire Biographie et publications Enseignements Audios & vidéos Actualités Parution de la leçon inaugruale du Pr Thierry Coquand Édition imprimée Publié le 18 mars 2026 La théorie des types, de Russell aux assistants à la démonstration Communiqué de presse Publié le 27 février 2025 Construire des preuves mathématiques Thierry Coquand Publié le 10 février 2025
