Coq Call 2023 12 11 - coq/coq GitHub Wiki

• December 11th (Monday!), 4pm UTC+2 (Paris time zone offset)
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• report on the merging of the code path of Context and Variables (Hugo, 5 minutes)
• convention on argument names: distinct names, named dependent binders, what to do? (#18394, Hugo, 10 minutes)

Roles

• Chairman: Matthieu
• Secretary:

Notes

The three participants decided to postpone the call.