[go: up one dir, main page]
维基百科

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 head 本软件库为自由软件，您可以依据自由软件基金会发行的GNU宽通用公共许可证2.1版或任意后续版本的条款，传播和/或修改本软件库。本软件库发表时预期有用，但对此无任何保证，亦无隐含的可以销售或适合特定目的的保证。详情请见GNU宽通用公共许可证2.1版和第3版。

说明

添加一行文字以描述该文件所表现的内容

此文件中描述的项目

描繪內容

\u7248\u6743\u6240\u6709<\/a>"}},"text\/plain":{"zh":{"P6216":"\u7248\u6743\u6240\u6709"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P6216 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed">

著作權狀態

版权所有

GNU\u5bbd\u901a\u7528\u516c\u5171\u8bb8\u53ef\u8bc12.1\u6216\u66f4\u9ad8\u7248\u672c<\/a>\u00a0\u7b80\u4f53\u4e2d\u6587\uff08\u5df2\u8f6c\u5199\uff09<\/sup>"}},"text\/plain":{"zh":{"P275":"GNU\u5bbd\u901a\u7528\u516c\u5171\u8bb8\u53ef\u8bc12.1\u6216\u66f4\u9ad8\u7248\u672c"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P275 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed">

许可协议

GNU宽通用公共许可证2.1或更高版本 简体中文（已转写）

\u786e\u5b9a\u65b9\u6cd5<\/a>"}},"text\/plain":{"zh":{"":"\u786e\u5b9a\u65b9\u6cd5"}}},"{\"value\":{\"entity-type\":\"item\",\"numeric-id\":13414952,\"id\":\"Q13414952\"},\"type\":\"wikibase-entityid\"}":{"text\/html":{"zh":{"P459":"SHA-1<\/a>"}},"text\/plain":{"zh":{"P459":"SHA-1"}}}}" class="wbmi-entityview-statementsGroup wbmi-entityview-statementsGroup-P4092 oo-ui-layout oo-ui-panelLayout oo-ui-panelLayout-framed">

核對和

195dfb6ae1f3b10a67595574d2f5c1fe7f2553d6

确定方法：​SHA-1

資料大小

6,269 字节

高度

100 像素

寬度

66 像素

文件历史

点击某个日期/时间查看对应时刻的文件。

日期/时间缩⁠略⁠图大小用户备注
当前2011年4月1日 (五) 14:502011年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使用此文件：

检索自“https://zh.wikipedia.org/wiki/File:Coq_logo.png”