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

Reacties