Hacker News new | ask | show | jobs
by beardedwizard 13 days ago
So, formal verification then...