Théo Zimmermann (Jun 16 2020 at 18:00): Théo Zimmermann (Jun 16 2020 at 18:00):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.
Karl Palmskog (Jun 16 2020 at 19:09):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
Paolo Giarrusso (Jun 16 2020 at 20:22):Let me congratulate the new manual organization!
Théo Zimmermann (Jun 16 2020 at 20:29):Thanks! As this page says, it's not over yet ;-)
Last updated: Jun 03 2023 at 15:31 UTC