Using Coq Ask questions about how to use Coq or a specific package, how to learn Coq, and about best practices for developing and maintaining Coq projects. 226

Developing plugins Ask questions and share experience and best practices about the development of Coq plugins. 11

Developing the Coq system Use this category for any question or discussion related to the development of the Coq software. 17

Announcements Announce package releases, new projects, job offers, calls for papers, and events such as meetups, conferences / workshops. 71

Miscellaneous Topics that don’t fit elsewhere: questions about type theory, links to discuss, comments on Discourse, the Coq community… 36

[zh] Coq 中文 本版以中文讨论 Coq 相关话题。 3

[es] ¡Coq en español! ¡Hola a todas! Bienvenidas al foro de discusión sobre Coq en español. 3

[fr] Coq en français Dans cette catégorie, vous pouvez poster des questions et lancer des discussions en français sur n’importe quel sujet lié à Coq. 0

[de] Coq auf Deutsch In dieser Kategorie können Sie zu jedem Thema, das mit Coq zusammenhängt, Fragen stellen und Diskussionen auf Deutsch beginnen. 1