Hacker News new | ask | show | jobs
by mrkeen 184 days ago
What formal verification system did they use? Did they even execute it?