Redirecting to External Site

You will now be redirected to https://youtu.be/_1PbowTxp5I to view video Robert Joseph George - Verified Scientific Machine Learning in Lean.