11
Nov

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


Tags: , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

6 Comments

Leave a Reply

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