3 ms·Now we just need someone to write a machine proof of correctness.by Ericson2314 5y agoNow we just need someone to write a machine proof of correctness.