4 ms·

Formerly known as Coq prover.