So?
You don't need to either.
There simply is no evidence that having such proofs has any significant effect on software quality.
https://blog.metaobject.com/2014/06/the-safyness-of-static-t...