3 ms·"Coq" is also the first letters of the creator's name (Coquand).by yau8edq12i 2y ago"Coq" is also the first letters of the creator's name (Coquand).