COQ将重命名

2021-04-08 22:57:55

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