Sorry I wasn't clear. I didn't mean to imply that languages with formal verification are inherently worse than those without it. To the contrary, if a language would have formal verification in addition to all the features and an ecosystem of a modern language, I would gladly use it.
My point is that for most use cases formal verification by itself is less important than all the other stuff.
I understand, and I concur.
If it was easier to use, manouver and maintain a horse, your claim would be true.