Perhaps by proofs they are referring to formalised / verifiable programming languages such as the SPARK subset of ADA? Those are indeed very useful for life/sa

Perhaps by proofs they are referring to formalised / verifiable programming languages such as the SPARK subset of ADA? Those are indeed very useful for life/safety critical systems such as aerospace, air traffic control, medical devices, etc.