"The algorithm is only triply exponential. Theorem proving is one of the few fields where you hear that phrase." - John Harrison at #POPL
8:23 AM - 28 Jan 2011
0 replies
8 retweets
1 like
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.