Theorem beweist Tool Coq iwwerluecht säin Numm z'änneren. Grond: Fir Anglophones kléngen d'Wierder "coq" an "Hock" (Schlaang fir dat männlecht Geschlechtsorgan) ähnlech, an e puer weiblech Benotzer hunn duebel-Entendre Witzer begéint wann se den Numm a geschwate Sprooch benotzen. Den Numm vun der Coq Sprooch kënnt vum Numm vun engem vun den Entwéckler, Thierry Coquand. D'Ähnlechkeet vum Klang vu Coq a Cock (engleschen Hunn) gouf schonn am Projet gespillt: d'Sprooch, déi benotzt gëtt fir d'Strukturen ze beschreiwen, heescht Gallina (laténgesch Poulet).
Source: opennet.ru