[skeledrew]

> But to believe they prove correctness is absolutely laughable.

Sounds like a lack of tests for the correct things.

[godelski]

True, but I seriously doubt people are writing formal proofs for their code. I've only seen this in niche academic circles and high security/safety settings. I also am pretty certain it's not what you're suggesting, but hey, I could be wrong