I do want to add that no one is off the hook for writing correct, production-stable programs. What I'm saying is that there are other tools and skills that can

I do want to add that no one is off the hook for writing correct, production-stable programs. What I'm saying is that there are other tools and skills that can and must be acquired to deliver quality code at high throughput. Formal proof systems focus on quality at a huge (and unnecessary) expense to throughput/development speed.