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使用了這個檔案：