Yes, it did shut down. Other links related to it: * wiki, where anyone can add proposals: https://github.com/coq/coq/wiki/Alternative-names https://github.com/

Yes, it did shut down. Other links related to it: * wiki, where anyone can add proposals: https://github.com/coq/coq/wiki/Alternative-names https://github.com/coq/coq/wiki/Alternative-names * chat: https://coq.zulipchat.com/#narrow/stream/237655-Miscellaneous/topic/Official.20name.20of.20Coq https://coq.zulipchat.com/#narrow/stream/237655-Miscellaneou... * forum: https://coq.discourse.group/t/renaming-coq/1264 https://coq.discourse.group/t/renaming-coq/1264