8 ms·

No, that misunderstands what a proof is. It is very easy to write a SPEC that does not specify anything useful. A proof does exactly what it is supposed to do.

• svieira 11mo ago
  No, a proof proves what it proves. It does not prove what the designer of the proof intended it to prove unless the intention and the proof align. Proving that is outside of the realm of software.
  • practal 11mo ago
    Yes, indeed, a proof proves what it proves. You confuse spec and proof.