Coq Call 2023 07 18
- July 18th 4pm UTC+2 (Paris time zone offset)
- https://rdv2.rendez-vous.renater.fr/coq-call
- Looking for feedback on the parsing engine (see e.g. the analysis of camlp5 handling of associativity) (Hugo)
- Looking for information about how to manage pending PRs (Hugo)
- Help needed to complete the contents of the CEP on the roadmap (Théo)
Informal call with only 3 participants: Emilio, Hugo and Théo
- Looking for extraction maintainers: maybe we should do a public call for maintainers
- CEP on the roadmap: this won't solve every methodological issue with the development of Coq, but could still be useful to clarify some points, and also to communicate with potential contributors.
- Risk of losing GitHub PR / issue data. An automatic archival, similar to what is already in place to archive messages on Zulip, could be worthwhile.
To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.
By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.