Comment by jeff76

The point isn’t we need to do formal verification to test correctness. It’s that you probably wouldn’t write a program first pass and assume it is but free. So, why would you assume beginners that don’t know how to write proofs would write correct proofs without feedback to check?