Coq Call 2023 01 25 - coq/coq GitHub Wiki

• January 23rd 2023, 4pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

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

Notes

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