search

exercism / meta

Experimenting with a repo to manage the project-wide, meta todos.
7 stars 2 forks source link

Coq / official or unofficial logo #34

Closed kytrinyx closed 7 years ago

kytrinyx commented 7 years ago

As described in https://github.com/exercism/meta/issues/24, this weekend we're designing proper icons for each of the language tracks on Exercism.

In order to help speed us through this work, it would be helpful to know whether or not the language has a logo, whether official or unofficial, what that logo is, and what the usage rights of it are.

If you know things, awesome! Drop that knowledge below. If you don't but want to help do research, we will be very grateful.

Here's a template for you to fill out:

### Official Logo

### Unofficial Logo

### Link to Logo

### License, Usage Rights

For each heading, please list what you know or find out. If something is irrelevant due to something listed in an earlier heading, say n/a (not applicable).

We did some research a while back, and might have some useful information at the bottom of the README.md. (Look for "Coq icon")

You can see whatever icon we've put together for the track in the img directory of the track. Sometimes this is based on something official, sometimes it's just desperation made tangible. (You'll see why we're working with real designers.)

ShadowMitia commented 7 years ago

Official Logo

It seems to be the rooster-like logo as seen here: https://coq.inria.fr/

Unofficial Logo

n/a

Link to Logo

https://github.com/coq/coq/blob/master/ide/coq.png

It's the logo released with the coq source files.

License, Usage Rights

The logo is released with Coq which is distributed under LGPL, so assuming it also is.

iHiD commented 7 years ago

Wonderful. Thanks :)