File:Coq logo.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 dateCategory: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. |