Coq Call 2023 01 25
- January 23rd 2023, 4pm Paris Time
- https://rdv2.rendez-vous.renater.fr/coq-call
- CUDW in the Spring/Summer organization (Matthieu, 15min)
- Test suite is ready for review (will give a presentation at the WG) https://github.com/coq/coq/pull/16583 (Ali)
- CUDW: Enrico will send a framadate, targeting May/June (outside of TYPES and the GDR GPL) and we'll have to put experts in front of topics and ask participants which topics they are interested in.
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.