New post: Programming and Interactive Proving With Z3Py http://www.philipzucker.com/programming-and-interactive-proving-with-z3py/ … #z3
0 replies
6 retweets
13 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.