3 ms·
Effective automatic theorem proving would make software much safer as well. Right now it's too much time to bother verifying so much code, even if somebody woul
by xiphias2 6y ago
Effective automatic theorem proving would make software much safer as well. Right now it's too much time to bother verifying so much code, even if somebody would be capable of doing it.