George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false | Coq (software)

Profile Picture
Published on Nov 2, 2019🌏 Public

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:

We archive George Hotz videos for fun. Follow for notifications:

We are not affiliated with comma.ai. Official communication channels: