2 ms·Minor nit: formal verification doesn't guarantee correctness.by IshKebab 1y agoMinor nit: formal verification doesn't guarantee correctness.