2 ms·

I think a large part of the value in research like this is the rigour in implementing it as formal proofs.