File:Coq logo.png

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

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
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

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.

Captions

Add a one-line explanation of what this file represents

Items portrayed in this file

depicts

image/png

195dfb6ae1f3b10a67595574d2f5c1fe7f2553d6

6,269 byte

100 pixel

66 pixel

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current14:50, 1 April 2011Thumbnail for version as of 14:50, 1 April 201166 × 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 use this file (pages on other projects are not listed):

Global file usage

The following other wikis use this file: