3 ms·
Indeed. What is unbearably slow is creating the whole software with formal verification, not just the core algorithm.
by danmaz74 6y ago
Indeed. What is unbearably slow is creating the whole software with formal verification, not just the core algorithm.