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

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

14 thoughts on “George Hotz | Programming | twitchcoq : pt 2, can we prove true is not false”

  1. George is getting distracted all stream. Read http://us.metamath.org/downloads/metamath.pdf and be prepared for next stream tomorrow (maybe). Follow and subscribe https://www.twitch.tv/georgehotz for more live streams | Programming archive🡿 https://www.youtube.com/playlist?list=PLzFUMGbVxlQs5s-LNAyKgcq5SL28ZLLKC

  2. i left web & mobile dev because of your videos, now i wanna learn deep about programming, mathematics, statistics and computer

Leave a Reply

Your email address will not be published. Required fields are marked *