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.
|
551
|
Ask questions and share experience and best practices about the development of Rocq plugins.
|
32
|
Use this category for any question or discussion related to the development of the Rocq Prover.
|
54
|
Announce package releases, new projects, job offers, calls for papers, and events such as meetups, conferences / workshops.
|
352
|
Topics that don’t fit elsewhere: questions about type theory, links to discuss, comments on Discourse, the Rocq community…
|
86
|
|
|
6
|
¡Hola a todas! Bienvenidas al foro de discusión sobre Rocq en español.
|
3
|
Dans cette catégorie, vous pouvez poster des questions et lancer des discussions en français sur n’importe quel sujet lié à Rocq.
|
3
|
In dieser Kategorie können Sie zu jedem Thema, das mit Rocq zusammenhängt, Fragen stellen und Diskussionen auf Deutsch beginnen.
|
1
|
Добро пожаловать на подфорум “Rocq на русском языке”!
|
2
|