Hacker News new | ask | show | jobs
by ihm 255 days ago
This is really impressive, especially the way they've used formal verification. Great work.