logoalt Hacker News

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

Formally verified against what spec?

Replies

naiveter • yesterday at 4:02 AM

The one liner leadership keeps asking for.