Coq Call 2023 07 18 - coq/coq GitHub Wiki

• July 18th 4pm UTC+2 (Paris time zone offset)
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• 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)

Notes

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.