# Categories

[Latest](https://discourse.rocq-prover.org/latest.md) · [Categories](https://discourse.rocq-prover.org/categories.md) · [Tags](https://discourse.rocq-prover.org/tags.md)

## [Using Rocq](https://discourse.rocq-prover.org/c/using-rocq/5.md)

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.

## [Developing plugins](https://discourse.rocq-prover.org/c/plugin-development/6.md)

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

## [Developing the Rocq Prover](https://discourse.rocq-prover.org/c/rocq-development/7.md)

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

## [Announcements](https://discourse.rocq-prover.org/c/announcements/8.md)

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

## [Miscellaneous](https://discourse.rocq-prover.org/c/miscellaneous/10.md)

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

## [\[zh\] Rocq 中文](https://discourse.rocq-prover.org/c/rocq-in-chinese/15.md)

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

## [\[es\] ¡Rocq en español!](https://discourse.rocq-prover.org/c/rocq-in-spanish/17.md)

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

## [\[fr\] Rocq en français](https://discourse.rocq-prover.org/c/rocq-in-french/13.md)

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

## [\[de\] Rocq auf Deutsch](https://discourse.rocq-prover.org/c/rocq-in-german/19.md)

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

## [\[ru\] Rocq на русском](https://discourse.rocq-prover.org/c/rocq-in-russian/21.md)

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