Файл: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, опубликованной Free Software Foundation, версии 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
- Использование в uk.wikipedia.org
- Использование в www.wikidata.org
- Использование в zh.wikipedia.org
