Redirecting to External Site

You will now be redirected to https://youtu.be/Rqj1o5q8wBE to view video Matthew Sottile - Physics to Simulation: The Deep Stack of Formalization.