Redirecting to External Site

You will now be redirected to https://video.ias.edu/math/stpm2012/sozeau to view video Type Classes for Mathematical Formalizations in Coq.