Redirecting to External Site

You will now be redirected to https://youtu.be/BY78oZYMGCk to view video Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA.