Redirecting to External Site

You will now be redirected to https://youtu.be/AaE1mV27XxA to view video John Harrison - Formalization and Automated Reasoning: A Personal and Historical Perspective.