File:Coq logo.png
此为最大尺寸。
Coq_logo.png （66 × 100像素，文件大小：6 KB，MIME类型：image/png）
|
此logo图片可使用矢量图形重新创建为SVG文件。这具有很多好处；更多信息请参见共享资源:待清理媒体。如果存在此图片的SVG格式，请将其上传，然后将此模板替换为
{{vector version available|新图片名称}}。
建议您将SVG命名为“Coq logo.svg”，这样在使用Vector version available（或Vva）模板时就不需要填写新图片名称参数。 |
摘要
| 描述 |
English: The coq project logo
Français : Le logo du projet coq |
| 日期 | 未知日期 |
| 来源 | Distribué avec le logiciel coq |
| 作者 | Non précisé dans le paquet logiciel |
La véritable licence est la LGPL, mais le choix n'est pas proposé.
许可协议
|
本软件库为自由软件，您可以依据自由软件基金会发行的GNU次级公众许可协议2.1版或任意后续版本的条款，传播和/或修改本软件库。本软件库发表时预期有用，但对此无任何保证，亦无隐含的可以销售或适合特定目的的保证。详情请见GNU次级公众许可协议2.1版和第3版。 |
文件历史
点击某个日期/时间查看对应时刻的文件。
| 日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
|---|---|---|---|---|---|
| 当前 | 2011年4月1日 (五) 14:50 | | 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 |
文件用途
以下页面使用本文件：
全域文件用途
以下其他wiki使用此文件：
- de.wikipedia.org上的用途
- en.wikipedia.org上的用途
- fr.wikipedia.org上的用途
- ja.wikipedia.org上的用途
- ru.wikipedia.org上的用途
- uk.wikipedia.org上的用途
- www.wikidata.org上的用途
