Category Topics

Using Rocq

Ask questions about how to use the Rocq Prover or a specific package, how to learn Rocq, and about best practices for developing and maintaining Rocq projects.
532

Developing plugins

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

Developing the Rocq Prover

Use this category for any question or discussion related to the development of the Rocq Prover.
50

Announcements

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

Miscellaneous

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

[zh] Rocq 中文

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

[es] ¡Rocq en español!

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

[fr] Rocq 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é à Rocq.
2

[de] Rocq auf Deutsch

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

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

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