Created on June 13, 2024
2024
I gave a talk at Proofs and Algorithms Seminar @ LIX, Ecole Polytechnique & Inria Saclay. Slides.