"Coq" is also the first letters of the creator's name (Coquand).