{"word_count": 23, "character_count": 222}
OrateurGeorges Gonthier (Microsoft Research, INRIA)TitreLe génie logiciel des mathématiques formellesInformationsMercredi 14 octobre 2015, 14h-15h30.LIP6, salle 24-25/405.Cette séance n'a donné lieu à aucun enregistrement.