Tim Sweeney Retweeted vitalik.eth
My belief: Prolog-inspired tricks will transform constructive proofs that a decision procedure is in P into instantiation procedures in P.https://twitter.com/VitalikButerin/status/817112067819773952 …
Tim Sweeney added,
1:11 PM - 5 Jan 2017
0 replies
0 retweets
7 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.