Partager Facebook LinkedIn Bluesky Threads Copier le lien Flux RSS Actualités Actualités Rechercher Trier du plus récent au plus ancien du plus récent au plus ancien du plus ancien au plus récent par pertinence 1 actualités Filtres Date de publication Date de publication Du Au Catégories Catégories Enseignements (1) Chaires Chaires Rechercher un professeur ou une chaire Thierry Coquand (2024 - aujourd'hui) Domaines d'enseignement Domaines d'enseignement Mathématiques et sciences informatiques (1) Filtres actifs Thierry Coquand (2024 - aujourd'hui) Trier du plus récent au plus ancien du plus récent au plus ancien du plus ancien au plus récent par pertinence Actualité épinglée Construire des preuves mathématiques Thierry Coquand, chaire Informatique et sciences numériques Publié le 10 février 2025
Actualité épinglée Construire des preuves mathématiques Thierry Coquand, chaire Informatique et sciences numériques Publié le 10 février 2025
