Not sure I understand What % of programmers in your company writes verifying coq proofs or equiv for what goes to production? Vs what % just does testing (unit

Not sure I understand What % of programmers in your company writes verifying coq proofs or equiv for what goes to production? Vs what % just does testing (unit, integration, etc)? For us, as a small team, we do 7-8 figure annually for tested but unverified GPU code, and our growth plan does not involve formal verification