Coq Call 2024 11 19 - coq/coq GitHub Wiki
- 2024-11-29, 4pm UTC+2 (Paris time zone offset)
- https://rdv2.rendez-vous.renater.fr/coq-call
Topics
- jump to definition (https://github.com/coq/coq/pull/19584 and linked vscoq PR) (Gaëtan, 15min)
Roles
- Chairman:
- Secretary: