Redirecting to External Site

You will now be redirected to https://youtu.be/WBkxJozzBXc to view video Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq.