3 ms·

Perhaps coq/agda/idris/etc.