Hacker News new | ask | show | jobs
by johnisgood 267 days ago
Exactly. It does not mean your formal specification is correct (of the code and what it should do).