2 ms·
It originated in France (see https://coq.inria.fr/about-coq https://coq.inria.fr/about-coq). In French, 'coq' means 'rooster' - the language that implements Coq
by liotier 11y ago
It originated in France (see https://coq.inria.fr/about-coq https://coq.inria.fr/about-coq). In French, 'coq' means 'rooster' - the language that implements Coq is named Gallina and the logo is indeed a rooster.
Well, no worse an homophone than 'bit' to French speakers...