Enseignement

2019-2020 : TD de logique à l'ENS avec Adrien Deloro.