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.
Last updated: Oct 13 2024 at 01:02 UTC