4 ms·

Is anyone able to load the mailing list link at https://sympa.inria.fr/sympa/arc/coq-club/2021-04/msg00125.html https://sympa.inria.fr/sympa/arc/coq-club/2021-0

Is anyone able to load the mailing list link at https://sympa.inria.fr/sympa/arc/coq-club/2021-04/msg00125.html https://sympa.inria.fr/sympa/arc/coq-club/2021-04/msg00125.h... or is Sympa getting hugged to death? I'd like to read the discussion to understand more about the perspectives of people who feel uncomfortable with the name.

clarus 6y ago
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