Not sure if you know but the name comes from https://fr.m.wikipedia.org/wiki/Thierry_Coquand https://fr.m.wikipedia.org/wiki/Thierry_Coquand Coq being the fir

Not sure if you know but the name comes from https://fr.m.wikipedia.org/wiki/Thierry_Coquand https://fr.m.wikipedia.org/wiki/Thierry_Coquand Coq being the first three letters of his name, and also the french name for rooster, the french national emblem. So yeah, he probably didn't care at all what those letters meant in various languages ( and probably even found the reaction of english natives amusing).