3 ms·
Considering formal verification for even simple stuff isn't seeing widespread use, well, anywhere, I don't see this happening
by hatsunearu 7y ago
Considering formal verification for even simple stuff isn't seeing widespread use, well, anywhere, I don't see this happening