Stream: coq-community devs & users

Topic: Pre-call for volunteers to improve the manual


view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Paolo Giarrusso (Jun 16 2020 at 20:22):

Let me congratulate the new manual organization!

view this post on Zulip Théo Zimmermann (Jun 16 2020 at 20:29):

Thanks! As this page says, it's not over yet ;-)


Last updated: Feb 05 2023 at 14:02 UTC