Stream: Coq devs & plugin devs

Topic: Pre-call for volunteers to improve the manual


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

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