Hacker News new | ask | show | jobs
by practal 220 days ago
Yes, indeed, a proof proves what it proves.

You confuse spec and proof.