>they are proof that the work that you just did is correct

Nope. They may be evidence, but they aren't proof. Proof comes from formal systems like type systems.