什麼是公雞？

我聽過「coq」這個詞，但我不確定它是什麼意思。 它是一個特定的概念、一種工具，還是完全不同的東西？ 如果有人能解釋一下 coq 是什麼，我將不勝感激。