"Pourrait-on vérifier toutes les mathématiques surordinateur ?" Par Riccardo Brasca

Mini-conférence "Des preuves et des programmes" le 2 décembre 2023 à l'Institut Henri Poincaré, dans le cadre de la manifestation annuelle "Mathématiques en mouvement", initiée par la FSMP et accessible aux étudiants et étudiantes, dès la licence.
Cette édition était organisée sous la coordination scientifique de Hugo Herbelin (Inria, IRIF).