Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Roqc/.github/   (Beweissystem des Inria Version 9.1.0©)  Datei vom 15.8.2025 mit Größe 890 B image not shown  

Quelle  SUPPORT.md   Sprache: unbekannt

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

[discourse-badge]: https://img.shields.io/badge/Discourse-forum-informational.svg
[discourse-link]: https://coq.discourse.group/

[zulip-badge]: https://img.shields.io/badge/Zulip-chat-informational.svg
[zulip-link]: https://coq.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.
- Our historical mailing list, the [Coq-Club](https://sympa.inria.fr/sympa/info/coq-club).

See also [coq.inria.fr/community](https://coq.inria.fr/community.html), which
lists several other active platforms.

[ Dauer der Verarbeitung: 0.30 Sekunden  (vorverarbeitet)  ]