This is for documentation for industrial users, for tactic language tutorials, Coq refman, etc.
maybe @Théo Zimmermann could flag up some documentation tasks/issues from Coq itself that are being worked on
I think the documentation for "dune" inside the Coq reference manual could also use some improvement, in particular as it comes to setting up dune+Emacs/PG.
(or any other IDE relying on a _CoqProject file)
@Christian Doczkal sadly, here are the current docs: https://github.com/coq-community/vscoq/issues/134.
Last updated: Oct 16 2021 at 09:07 UTC