7 ms·

Which proof assistant did you use?