COQ开发团队致谢最近的讨论（在COQ-Club邮件列表中开始）COQ＆＃39; s徽标和名称。 我们要感谢所有参与这些讨论的人。 经历了骚扰或尴尬局面的人，关于学生（特别是女性）的人，他们最终没有学习/使用COQ，这一切都非常重要，以便社区充分认识到当前名称及其俚语的影响 英语中的意思，特别是关于COQ社区的性别多样性。