To be pedantic, the proofs would be correct, they would just be proving the wrong thing.

To address what you actually meant: it's possible but specifications are way easier to verify.