Інструментарый для доказу тэарэм Coq разглядае магчымасць змены назвы. Прычына: для англафонаў словы "coq" і "cock" (слэнгавая назва мужчынскага палавога органа) гучаць падобна, і некаторыя карыстальнікі-жанчыны, сутыкаліся з двухсэнсоўнымі жартамі пры выкарыстанні назвы ў вуснай мове. Сама ж назва мовы Coq паходзіць ад прозвішча аднаго з распрацоўшчыкаў, Thierry Coquand. Падабенства гучання Coq і Cock (ангел. певень) ужо абгульвалася ў праекце: мова, выкарыстоўваны для апісання канструкцый, завецца Gallina (лац. курыца).
Крыніца: opennet.ru