I think of this story whenever people tell me that software would be better if we followed RealEngineering™ practicespic.twitter.com/tyfwWskzAq
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
... I don't really understand how either works and the only experience I have with either is on toy problems.
Applying theorem proving to non-toy problems seems to require a PhD's worth of experience. Not so with model checking AFAICT, but...
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.