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.
Examples of questions of interest include:
- What is the best way to do this in Rocq?
- How to troubleshoot this error message?
- I need some advice on how to use this library / plugin.
- How do people organize their Rocq project, CI, build system…
- How to organize a Rocq library?
- What kind of compatibility policy / versioning scheme should I use for my Rocq library?
Write to rocq+using-rocq@discoursemail.com to start a new topic in this category via e-mail.