From: http://en.wikipedia.org/wiki/Coq http://en.wikipedia.org/wiki/Coq "The word coq means "rooster" in French, and stems from a tradition of naming French re

From: http://en.wikipedia.org/wiki/Coq http://en.wikipedia.org/wiki/Coq "The word coq means "rooster" in French, and stems from a tradition of naming French research development tools with animal names.[4] It is also a reference to Thierry Coquand, who developed the aforementioned calculus of constructions along with Gérard Huet. Also, at first it was simply called Coc, the acronym of calculus of construction."