Файл:Agda's official logo.svg
Размер этого PNG-превью для исходного SVG-файла: 800 × 262 пкс. Другое разрешение: 2560 × 838 пкс.
Исходный файл (SVG-файл, номинально 5217 × 1707 пкс, размер файла: 4 КБ)
Описание
| Описание | The official logo of the Agda programming language (design by Miëtek Bak). |
|---|---|
| Источник | https://github.com/agda/agda/blob/master/doc/user-manual/agda.svg |
| Время создания | 2019-12-23 |
| Автор или правообладатель | The Agda Community / Miëtek Bak — Лицензия: BSD (BSD license) http://opensource.org/licenses/bsd-license.php |
| Другие версии файла | — |
Источник файла — сайт Wikimedia Commons, куда он был загружен под одной из свободных лицензий ( https://commons.wikimedia.org/wiki/File:Agda's_official_logo.svg ). Авторов, работавших над этим файлом см. в истории файла: https://commons.wikimedia.org/w/index.php?title=File:Agda's_official_logo.svg&action=history
В общем случае в статьях энциклопедии Руниверсалис файлы используются в соответствии со статьёй 1274 Гражданского кодекса Российской Федерации.
История файла
Нажмите на дату/время, чтобы увидеть версию файла от того времени.
| Дата/время | Миниатюра | Размеры | Участник | Примечание | |
|---|---|---|---|---|---|
| текущий | 04:16, 7 сентября 2023 | | 5217 × 1707 (4 КБ) | I, Robot (обсуждение | вклад) | == Описание == {{Изображение | описание = The official logo of the Agda programming language (design by Miëtek Bak). | источник = [https://github.com/agda/agda/blob/master/doc/user-manual/agda.svg https://github.com/agda/agda/blob/master/doc/user-manual/agda.svg] | время создания = 2019-12-23 | автор = The Agda Community / Miëtek Bak — Лицензия: BSD (BSD license) http://opensource.org/licenses/bsd-license.php }} Источник файла — сайт Wikimedia Commons, куда он был загружен под одной из свобо... |
Вы не можете перезаписать этот файл.
Использование файла
Следующий файл является дубликатом этого файла (подробности):
- Файл:Agda's official logo.svg на общем хранилище
Следующая страница использует этот файл:
