File:Coq logo.png

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Coq_logo.png(66 × 100 pixels, file size: 6 KB, MIME type: image/png)


English: The coq project logo
Français : Le logo du projet coq
Date Unknown date
Unknown 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é.


GNU head 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 Thumbnail for version as of 14:50, 1 April 2011 66 × 100 (6 KB) 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
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):

Global file usage

The following other wikis use this file:

Retrieved from ""
This content was retrieved from Wikipedia :
This page is based on the copyrighted Wikipedia article "File:Coq logo.png"; it is used under the Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA). You may redistribute it, verbatim or modified, providing that you comply with the terms of the CC-BY-SA