Coq Call 2020 10 07

• October 7th 2020, 4pm-5pm Paris Time
• https://rdv2.rendez-vous.renater.fr/coq-call

Topics

• Using the Coq community logo for Coq
• Status of GitLab OSS program for Coq
• a few words on unification

Notes (from Matthieu).

• Changing the Coq logo.

  • Hugo reminds of us of the history of the current logo, which is a reference to the Barcelos Coq from Portugal which Gérard Huet liked, whose shape was drawn by Julien Narboux and adapted/colored for the website by Jean-Marc Notin.
  • Maxime points out that we don't have a very coherent visual identity and the logo is one point on this list. Question is should we reuse the one of Coq-community or ask for a new one? We should not confuse with the one from Coq-Community, in particular the Coq logo should be owned by Inria. The decision is to go with the process, asking for a logo design based on the shape of the coq-community one and look at different color options (wine like the website, gold, green ?)

• OSS program: we should be subscribed now, but apparently aren't. I will ask for feedback. Update: I should receive the licence soon according to their last email.

• Hugo on unification:

  • documenting PRs would be really good (in the code)
  • quite a few questions are interesting: on postponement, the current implementation, etc let's gather them!