Ivan Doubovik (Université de Lille) : Vérification de preuves à l'ordinateur, Lean
Séminaire « Doctorants et postdoctorants »
M2 - salle de réunion