2019-11-02-george-hotz-programming-twitchcoq-pt-2-can-we-prove-true-is-not-false-coq-software--zf8gU0Y5WU · george hotz archive · Sentinel