Ask questions about how to use Coq or a specific package, how to learn Coq, and about best practices for developing and maintaining Coq projects.
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?
Write to coq+using-coq@discoursemail.com to start a new topic in this category via e-mail.