Redirecting to External Site

You will now be redirected to https://www.slmath.org/summer-schools/1021/schedules/33449 to view video Formalization Of Mathematics Summer School: Introduction to Formalized Mathematics.