George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)
Date of stream 2 Nov 2019. Live-stream chat added as Subtitles/CC - English (Twitch Chat). Stream title: twitchcoq : pt 2, can we prove true is not false
Video archive:
- https://youtube.com/commaaiarchive/pl... Source files:
- https://github.com/geohot/twitchcoq Paper:
- http://us.metamath.org/downloads/meta... Follow for notifications:
- https://twitch.tv/georgehotz Subscribe to support:
- https://twitch.tv/products/tomcr00s3_...
- https://twitch.tv/products/georgehotz...
We archive George Hotz videos for fun. Follow for notifications:
We are not affiliated with comma.ai. Official communication channels: