Redirecting to External Site

You will now be redirected to https://youtu.be/uggAJxBvgk4 to view video Andrew Appel - Building a Formally Verified Finite Element Method Solver, One Component At a Time.