10 octobre / 15:00 - 16:00 Colloquium : Riccardo Brasca (IMJ) : Autour de la formalisation : pourquoi et comment expliquer des mathématiques à l’ordinateur