Redirecting to External Site

You will now be redirected to https://video.ias.edu/shorttalks/2015/0928-AndersM%C3%B6rtberg to view video Type theory and formalization of mathematics.