logoalt Hacker News

beardedwizard • today at 2:08 PM • 0 replies • view on HN

So, formal verification then...