About the Learning category

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?