"People seem to always bring this up but what's better?" "Better" is a slippery term. Code doesn't exist in a vacuum, but rather in an external world that has

"People seem to always bring this up but what's better?" "Better" is a slippery term. Code doesn't exist in a vacuum, but rather in an external world that has other constraints (e.g., time and budget). If using formal proofs means that you go through one development cycle while your competitor is iterating three, four, or five times, your milkshake is going to be drunk.