Coq Call 2020 10 07
Matthieu Sozeau edited this page Oct 7, 2020
·
9 revisions
- October 7th 2020, 4pm-5pm Paris Time
- https://rdv2.rendez-vous.renater.fr/coq-call
- Using the Coq community logo for Coq
- Status of GitLab OSS program for Coq
- a few words on unification
-
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!
To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.
By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.