Hacker News new | ask | show | jobs
by amelius 1058 days ago
How is this "deliberately avoiding any formal specification or proof"?
1 comments

I think they are referring to the specific section below the notice.
Correct