With the announcement of the beta release, we plan to send a call for volunteers to help improve the manual (cf. this page: https://github.com/coq/coq/wiki/Refman-improvements-in-8.12-and-beyond). In order to seed the list of volunteers, so that people are not frightened by being the first one, do not hesitate to already put your name in if you'd like to participate in this effort.
it would be nice if a Coq-specific proof engineering chapter could be condensed from our survey. It's not going to happen immediately, but I will add a mental note and check with co-authors if some relevant material could be adapted
Let me congratulate the new manual organization!
Thanks! As this page says, it's not over yet ;-)
Last updated: Feb 05 2023 at 14:02 UTC