Using Coq

Ask questions about how to use Coq or a specific package, and about best practices when working on a Coq project.

Developing plugins

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

Developing the Coq system

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

Announcements

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

Miscellaneous

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

[zh] Coq 中文

本版以中文讨论 Coq 相关话题。

[es] ¡Coq en español!

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

[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.

[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.

[ru] Coq на русском

Добро пожаловать на подфорум “Coq на русском языке”!