# Coq development team is open to renaming the project

DevFeed: [Coq development team is open to renaming the project](<https://devfeed.tech/articles/coq-will-be-renamed-29485.md>)

Original publisher: [Read original article](<http://lambda-the-ultimate.org/node/5629>)

Published: 2021-04-08T13:47:05Z

Content type: release

Language: en

Sources: [Lambda the Ultimate](<https://devfeed.tech/sources/lambda-the-ultimate.md>)

Topics: [Coq](<https://devfeed.tech/topics/coq.md>), [Development](<https://devfeed.tech/topics/development.md>)

Tags: [community](<https://devfeed.tech/tags/community.md>), [diversity](<https://devfeed.tech/tags/diversity.md>), [gender](<https://devfeed.tech/tags/gender.md>), [general](<https://devfeed.tech/tags/general.md>)

## AI overview

The Coq development team says it is open to renaming Coq after community discussions about the project's name, logo, and slang meaning in English, including concerns about gender diversity and its effect on participation.

## Source excerpt

From the Coq-club: The Coq development team acknowledges the recent discussions (started on the Coq-Club mailing list) around Coq's logo and name. We wish to thank everyone that participated in these discussions. Testimonies from people who experienced harassment or awkward situations, reports about students (notably women) who ended up not learning / using Coq because of its name, were all very important so that the community could fully recognize the impact of the current name and its slang meaning in English, especially with respect to gender-diversity in the Coq community. For these reasons, the Coq development team is open to a renaming. Suggestions for alternative names go here.