Redirecting to External Site

You will now be redirected to https://youtu.be/bwVPSzT9QEw to view video Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA.