Word not found

We couldn't find a verified entry for "coq".