Hacker News new | ask | show | jobs
by pastel8739 4 days ago
Formally verified against what spec?
1 comments
naiveter 4 days ago
The one liner leadership keeps asking for.
link