File:Coq logo.png
Jump to navigation
Jump to search
No higher resolution available.
Coq_logo.png (66 × 100 pixels, file size: 6 KB, MIME type: image/png)
|
This logo image could be re-created using vector graphics as an SVG file. This has several advantages; see Commons:Media for cleanup for more information. If an SVG form of this image is available, please upload it and afterwards replace this template with
{{vector version available|new image name}}.It is recommended to name the SVG file “Coq logo.svg”—then the template Vector version available (or Vva) does not need the new image name parameter. |
Summary
| Description |
English: The coq project logo
Français : Le logo du projet coq |
| Date | Unknown date |
| Source | Distribué avec le logiciel coq |
| Author | Non précisé dans le paquet logiciel |
La véritable licence est la LGPL, mais le choix n'est pas proposé.
Licensing
|
This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version. This library is distributed in the hope that it will be useful, but without any warranty; without even the implied warranty of merchantability or fitness for a particular purpose. See version 2.1 and version 3 of the GNU Lesser General Public License for more details. |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 14:50, 1 April 2011 | | 66 × 100 (6 KB) | wikimediacommons>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 |
File usage
The following 4 pages use this file:
