We have a number of channels to reach the user community and the development team:
- Our Zulip chat, for casual and high traffic discussions.
- Our Discourse forum, for more structured and easily browsable discussions and Q&A.
- Our historical mailing list, the Coq-Club.
See also coq.inria.fr/community, which lists several other active platforms.