Ask questions about how to use Coq or a specific package, and about best practices when working on a Coq project.
Examples of questions of interest include:
- What is the best way to do this in Coq?
- How to troubleshoot this error message?
- I need some advice on how to use this library / plugin.
- How do people organize their Coq project, CI, build system…
- How to organize a Coq library?
- What kind of compatibility policy / versioning scheme should I use for my Coq library?