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.

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

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

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 Rocq community…

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

¡Hola a todas! Bienvenidas al foro de discusión sobre Rocq 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é à Rocq.

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

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