3 ms·

Other examples are Agda and Lean.