Coq Call 2024 01 22 - coq/coq GitHub Wiki
- January 22th (Monday!), 4pm UTC+2 (Paris time zone offset)
- https://rdv2.rendez-vous.renater.fr/coq-call
Topics
- Renaming: clarify which domains we will use and buy them (10min)
- Website: discuss the possibility to reuse ocaml.org website, and how (10min)
Roles
- Chairman: Matthieu Sozeau
- Secretary: TBA