Archived tweet #3654 from the @leastfixedpoint Twitter Archive

@jerrykuch @SeanTAllen C++ is lousy for proving properties of software. So it'll work, sure, up to some unknowable point. ... meh.