Файл:Coq logo.png
Нема версії з більшою роздільністю.
Coq_logo.png (66 × 100 пікселів, розмір файлу: 6 КБ, MIME-тип: image/png)
|
Відомості про цей файл містяться на Вікісховищі — централізованому сховищі вільних файлів мультимедіа для використання у проектах Фонду Вікімедіа. |
|
Цей логотип має бути конвертований у векторний формат SVG. Це дає декілька переваг, докладніше про які Ви можете прочитати на сторінці Commons:Media for cleanup. Якщо Вам вже зараз доступна векторна версія даного зображення, завантажте її, будь ласка. Після завантаження замініть цей шаблон на такий: {{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 Lesser General Public License, що опублікована Фондом вільного програмного забезпечення; або версії 2.1, або (на Ваш розсуд) будь-якої пізнішої версії. Дана робота розповсюджується з надією, що вона буде корисною, але без будь-яких гарантій, зокрема без непрямої гарантії товарної придатності або придатності для конкретних цілей. Дивіться версію 2.1 та версію 3 GNU Lesser General Public License для більш докладної інформації. |
Історія файлу
Клацніть на дату/час, щоб переглянути, як тоді виглядав файл.
| Дата/час | Мініатюра | Розмір об'єкта | Користувач | Коментар | |
|---|---|---|---|---|---|
| поточний | 14:50, 1 квітня 2011 | | 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.wikipedia.org
- Використання в fr.wikipedia.org
- Використання в ja.wikipedia.org
- Використання в ru.wikipedia.org
- Використання в www.wikidata.org
- Використання в zh.wikipedia.org
