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



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 …

Be the first to comment

Leave a Reply

Your email address will not be published.


*