Twitter Feed
@whitequark ("Catherine") wrote:
just learned that the proof assistant "Coq" (pronounced "cock", and yes the guy who named it knew full well what he was doing) ran a survey for alternative names and one of the proposed ones is...
...
...
Le Coq https://github.com/coq/coq/wiki/Alternative-names#le-coq-or-lecoq