Interactive proofs

Ulysse Léchine

2022-10-10 14:30:00, #SéminaireComp
Hybride (salle B107 et https://bbb.lipn.univ-paris13.fr/b/sei-nlh-8vr-xvy)