Category Topics

Using Coq

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

Developing plugins

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

Developing the Coq system

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

Announcements

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

Miscellaneous

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

[zh] Coq 中文

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

[es] ¡Coq en español!

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

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

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

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