3 ms·100% the only non-trivial useful application of formal methods I've ever seenby Boxxed 2mo ago100% the only non-trivial useful application of formal methods I've ever seen