File:Coq logo.png
外觀
Coq_logo.png (66 × 100 像素,檔案大小:6 KB,MIME 類型:image/png)
檔案歷史
點選日期/時間以檢視該時間的檔案版本。
日期/時間 | 縮圖 | 尺寸 | 用戶 | 備註 | |
---|---|---|---|---|---|
目前 | 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 的使用狀況
- he.wikipedia.org 的使用狀況
- ja.wikipedia.org 的使用狀況
- ru.wikipedia.org 的使用狀況
- uk.wikipedia.org 的使用狀況
- www.wikidata.org 的使用狀況