HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by pastel8739 | Hacker News Reader
Parent
Full thread
pastel8739
·
Formally verified against what spec?
View on HN
naiveter
·
The one liner leadership keeps asking for.
Reply on news.ycombinator.com