ファイル: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
日付 不明な日付
Unknown date
原典 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 劣等一般公衆利用許諾書 (GNU Lesser General Public License) (バージョン2.1、またはそれ以降のライセンス) の規約に基づき、このライブラリを再配布および改変できます。この作品は、有用であることを期待して配布されていますが、商用あるいは特定の目的に適するかどうかも含めて、暗黙的にも、一切保証されません。詳しくは、バージョン2.1およびバージョン3のGNU 劣等一般公衆利用許諾書をご覧ください。

キャプション

このファイルの内容を1行で記述してください

このファイルに描写されている項目

題材

チェックサム

195dfb6ae1f3b10a67595574d2f5c1fe7f2553d6

使用された手段・手法: SHA-1

データサイズ

6,269 バイト

全高

100 ピクセル

全幅

66 ピクセル

ファイルの履歴

過去の版のファイルを表示するには、その版の日時をクリックしてください。

日付と時刻サムネイル寸法利用者コメント
現在の版2011年4月1日 (金) 14:502011年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

以下のページがこのファイルを使用しています:

グローバルなファイル使用状況

以下に挙げる他のウィキがこの画像を使っています:

「https://ja.wikipedia.org/wiki/ファイル:Coq_logo.png」から取得