The Coq mailing list

[Emilio Jesús Gallego Arias <e AT x80.org>]

Hi all,

In my (individual) opinion, the Coq community has a serious diversity
problem, and unfortunately little (if any) steps are being done in order
to try to improve that.

Thus, on-list announcing initiatives aimed to address some of the
underlying problematic is not only in-scope, but strongly encouraged,
and definitively most welcome.

On the other side, my feeling is that questioning such initiatives,
specially when done under the shield of anonymity, is not only not
welcome, but must not be tolerated.

Kind regards,
Emilio

p.s: In relation to the thread Talia points to, I'd like to apologize to
Larry and others for the lack of response, your contributions were much
appreciated.

We intended to resume the discussion at the Coq Users and Implementors
Workshop, but with the meeting delayed it will likely have to wait.