Fichier:Coq logo.png
Pas de plus haute résolution disponible.
Coq_logo.png (66 × 100 pixels, taille du fichier : 6 kio, type MIME : image/png)
Ce fichier et sa description proviennent de Wikimedia Commons.
|
Cette image (de type Logo) devrait être recréée dans un format vectoriel, en tant que fichier SVG. Cela offrirait plusieurs avantages : voir Commons:Media for cleanup pour plus d'informations. Si une version SVG de cette image est déjà disponible, merci de bien vouloir l'envoyer. Après cela, remplacez ce modèle par {{vector version available|nouveau nom d'image.svg}}.
|
Description
| Description |
English: The coq project logo
Français : Le logo du projet coq |
| Date | Date inconnue |
| Source | Distribué avec le logiciel coq |
| Auteur | Non précisé dans le paquet logiciel |
La véritable licence est la LGPL, mais le choix n'est pas proposé.
Conditions d’utilisation
|
Cette bibliothèque est un logiciel libre ; vous pouvez la redistribuer ou la modifier selon les termes de la licence publique générale limitée GNU, tels que publiés par la Free Software Foundation soit la version 2.1 de cette licence ou (à votre choix) toute version ultérieure. Cette bibliothèque est distribuée dans l’espoir qu’elle sera utile, mais sans aucune garantie ; sans même la garantie implicite de commercialisabilité ou d’adéquation à un besoin particulier. Consultez la version 2.1 et la version 3 de la GNU Lesser General Public License pour plus de détails. |
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
| Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
|---|---|---|---|---|---|
| actuel | 1 avril 2011 à 16:50 | | 66 × 100 (6 kio) | Psychoslave | {{Information |Description ={{en|1=The coq project logo}} {{fr|1=Le logo du projet coq}} |Source =Distribué avec le logiciel coq |Author =Non précisé dans le paquet logiciel |Date = |Permission = |other_versions = }} La |
Utilisation du fichier
Les 2 pages suivantes utilisent ce fichier :
Usage global du fichier
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur de.wikipedia.org
- Utilisation sur en.wikipedia.org
- Utilisation sur ja.wikipedia.org
- Utilisation sur ru.wikipedia.org
- Utilisation sur uk.wikipedia.org
- Utilisation sur www.wikidata.org
- Utilisation sur zh.wikipedia.org
