Discuss: Which version is "better" and why? How would you solve this?pic.twitter.com/KLuwMPRsoo
Show this thread
-
Is this for an assumption for formal verification?
-
-
I think the best option in that case is to wrap your favorite implementation in a function with a nice name and description. Makes it easier to review a set of assumptions and assertions when you don’t have to reason too much about their implementation.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.