You are about to action:
Object being modified by the action
Do you want to proceed?
Click to copy, then share by pasting into your messages, comments, social media posts and websites.
Click to copy, then add into your webpages so users can view and engage with this video from your site.
Share to social media by clicking on the quick share links.
Report Content
We also accept reports via email. Please see the Guidelines Enforcement Process for instructions on how to make a request via email.
Thank you for submitting your report
We will investigate and take the appropriate action.
Dependent Types and Theorem-Proving :: I suck at ATS
Next video playing soon
Click to cancel
Autoplay has been paused
Click to watch next video
First published at 09:33 UTC on August 22nd, 2018.
| Category | Science & Technology |
| Sensitivity | Normal - Content that is suitable for ages 16 and over |
DISCUSS THIS VIDEO
Advertisement
