3 ms·This is really impressive, especially the way they've used formal verification. Great work.by ihm 1y agoThis is really impressive, especially the way they've used formal verification. Great work.