Approximation Theory and Proof Assistants: Certified Computations
Master d'informatique fondamentale
of
École Normale Supérieure de Lyon
, Fall-Winter 2023.
The web page of the course has moved
there
!