14:00 à 15:00
Séminaire
Ce qu’on pourrait dire sur la mécanisation des mathématiques
Michael Harris
14:00 à 15:00