3 ms·Casually suggesting formally verifying the software too.by IshKebab 1y agoCasually suggesting formally verifying the software too.