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.

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

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

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

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

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

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

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

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

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