File:Coq logo.png
此為最大尺寸。
Coq_logo.png （66 × 100 像素，檔案大小：6 KB，MIME 類型：image/png）
|
本圖片是以PNG、GIF或JPEG格式上傳。然而，其中包含的資料或訊息，應該重新建立成可縮放向量圖形（SVG）檔案，以更有效率或更準確的方式儲存。如有可能，請上傳本圖片的SVG格式版本。在上傳之後，請修改維基各姊妹計畫中所有使用舊版圖片的條目（列在圖像連結章節中），替換為新版圖片，並在舊圖片的描述頁中加入{{Vector version available|新圖片名稱.svg}}模板，同時移除本模板。
|
摘要
| 描述 |
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 的使用狀況
