Redirecting to External Site

You will now be redirected to https://youtu.be/Nbb7ttoHC34 to view video Bhavik Mehta - Formally Verified Numerics for Differential Equations.