ファイル:Coq logo.png
高解像度版はありません。
Coq_logo.png (66 × 100 ピクセル、ファイルサイズ: 6キロバイト、MIME タイプ: image/png)
|
ウィキメディア・コモンズのファイルページにある説明を、以下に表示します。
|
|
このロゴマーク画像は、ベクターイメージである SVG ファイルとして再作成されるべきです。これにはいくつかの利点があります。詳しくはCommons:Media for cleanupを参照してください。この画像の 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 劣等一般公衆利用許諾書 (GNU Lesser General Public License) (バージョン2.1、またはそれ以降のライセンス) の規約に基づき、このライブラリを再配布および改変できます。この作品は、有用であることを期待して配布されていますが、商用あるいは特定の目的に適するかどうかも含めて、暗黙的にも、一切保証されません。詳しくは、バージョン2.1およびバージョン3のGNU 劣等一般公衆利用許諾書をご覧ください。 |
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
| 日付と時刻 | サムネイル | 寸法 | 利用者 | コメント | |
|---|---|---|---|---|---|
| 現在の版 | 2011年4月1日 (金) 14:50 | | 66 × 100 (6キロバイト) | 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 |
ファイルの使用状況
以下のページがこのファイルを使用しています:
グローバルなファイル使用状況
以下に挙げる他のウィキがこの画像を使っています:
- de.wikipedia.org での使用状況
- en-two.iwiki.icu での使用状況
- fr.wikipedia.org での使用状況
- he.wikipedia.org での使用状況
- ru.wikipedia.org での使用状況
- uk.wikipedia.org での使用状況
- www.wikidata.org での使用状況
- zh-two.iwiki.icu での使用状況
