I would argue on the point that more and more programming in my experience seems not to support things that are calculation heavy and need "correct answers" but

I would argue on the point that more and more programming in my experience seems not to support things that are calculation heavy and need "correct answers" but supporting workflows and models of thinking. I don't see how supporting workflows or setting/managing/evolving models of thinking can have anything to do with proof systems or proving correctness of algorithms. Since we have CRUD basically worked out there is so much more software that can be written without being mathematically strict like the DBMS that we build on top.