Redirecting to External Site

You will now be redirected to https://youtu.be/M4iNVHiHS4I to view video Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA.