Thierry Coquand Mathématicien et professeur d’informatique à l’université de Göteborg, en Suède. Photo © Collège de France. Langages, programmation & logiciel Ses articles ( 1 article publié ) ArticleLangages, programmation & logiciel Construire des preuves mathématiques Thierry CoquandWilliam Rowe-Pirra 28/05/2025 Niveau facile Niveau 1 : Facile Construire des preuves mathématiques Thierry CoquandWilliam Rowe-Pirra Lire l’article Voir tous les auteurs
