Relatively uncommon as in there is not, as far as I know, a single mainstream language with a formally verified spec.