Orateur
Georges Gonthier (Microsoft Research, INRIA)
Titre
Le génie logiciel des mathématiques formelles
Informations
Mercredi 14 octobre 2015, 14h-15h30.
LIP6, salle 24-25/405.
Cette séance n’a donné lieu à aucun enregistrement.
OpenEdition vous propose de citer ce billet de la manière suivante :
Baptiste Mélès (28 octobre 2015). Georges Gonthier : Le génie logiciel des mathématiques formelles (14/10/2015). Séminaire Codes sources. Consulté le 24 juillet 2026 à l’adresse https://doi.org/10.58079/mzrh