[clarus]

As the server seems down, here is a mirror of the content: https://clarus.github.io/coq-renaming-emails/

(this is mailing list)

Here are some other links related to the discussion:

* wiki, where anyone can add proposals: https://github.com/coq/coq/wiki/Alternative-names

* chat: https://coq.zulipchat.com/#narrow/stream/237655-Miscellaneou...

* forum: https://coq.discourse.group/t/renaming-coq/1264