> other people did the proofs so that you don't need to. So? You don't need to either. There simply is no evidence that having such proofs has any significan

> other people did the proofs so that you don't need to. 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-typing.html https://blog.metaobject.com/2014/06/the-safyness-of-static-t...