[![Zulip][zulip-badge]][zulip-link]
[![Discourse][discourse-badge]][discourse-link]

[discourse-badge]: https://img.shields.io/badge/Discourse-forum-informational.svg
[discourse-link]: https://discourse.rocq-prover.org/

[zulip-badge]: https://img.shields.io/badge/Zulip-chat-informational.svg
[zulip-link]: https://rocq-prover.zulipchat.com/

# Support #

<!-- content copied verbatim from "Questions and discussion" in README.md -->

We have a number of channels to reach the user community and the
development team:

- Our [Zulip chat][zulip-link], for casual and high traffic discussions.
- Our [Discourse forum][discourse-link], for more structured and easily browsable discussions and Q&A.

See also [rocq-prover.org/community](https://rocq-prover.org/community), which
lists several other active platforms.
