什么是公鸡？

我听说过“coq”这个词，但我不确定它是什么意思。 它是一个特定的概念、一种工具，还是完全不同的东西？ 如果有人能解释一下 coq 是什么，我将不胜感激。