George Hotz | Programming | twitchcoq pt 4, metamath says 2+2=4 | pt 5, program search


19 thoughts on “George Hotz | Programming | twitchcoq pt 4, metamath says 2+2=4 | pt 5, program search

Leave a Reply

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