Comment by ihm Comment by ihm 19 hours ago 0 replies Copy Link View on Hacker News This is really impressive, especially the way they've used formal verification. Great work.