logoalt Hacker News

pastel8739 • today at 2:33 AM • 1 reply • view on HN

Formally verified against what spec?

Replies

naiveter • today at 4:02 AM

The one liner leadership keeps asking for.