Explanation of “proofs” to an exasperated calculus student.pic.twitter.com/2b458fAwwo
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
You can do it more or less rigorously; you can’t do it *entirely* rigorously.
"formalized in Mizar" is my definition of entirely rigorous, don't see why you need a better one.
we would hope that people who need to know what rigor is don't stop there.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.