Coq Call 2024 12 10 - coq/coq GitHub Wiki
- 2024-12-10, 4pm UTC+2 (Paris time zone offset)
- https://rdv2.rendez-vous.renater.fr/coq-call
Notes
- Logo / typo / color choices for Rocq (Matthieu, Bastien Sozeau, 30min)
- Launching event (Matthieu, 10min)
Roles
- Chairman: Matthieu
- Secretary:
- Audience: