Файл:Fstar-official-logo-2015.png
Исходный файл (1000 × 1000 пкс, размер файла: 23 КБ, MIME-тип: image/png)
 | Этот файл находится на Викискладе. Сведения о нём показаны ниже.
Викисклад — централизованное хранилище для свободных файлов, используемых в проектах Викимедиа.
|
Краткое описание
| Описание |
English: This is the official logo of F* as of 2015 (https://www.fstar-lang.org/) |
| Дата | |
| Источник | was sent to me personally and I put it on the official F* website |
| Автор | Nikhil Swamy |
| Права (Повторное использование этого файла) |
Evidence: The license statement can be found online at: https://github.com/FStarLang/FStar/blob/master/LICENSE |
Лицензирование
 |
Правообладатель: автор
Лицензируется по лицензии Apache версии 2.0 (далее Лицензия); вы не можете использовать этот файл иначе, как в соответствии с Лицензией. Вы можете получить копию Лицензии по адресу https://www.apache.org/licenses/LICENSE-2.0. Если это не требуется законодательством или не согласовано в письменной форме, программное обеспечение, распространяемое по Лицензии, распространяется на условиях "как есть", без каких-либо гарантий или условий, явных или подразумеваемых. См. Лицензию для конкретного языка, регулирующего разрешения и ограничения в соответствии с Лицензией. |
История файла
Нажмите на дату/время, чтобы посмотреть файл, который был загружен в тот момент.
| Дата/время | Миниатюра | Размеры | Участник | Примечание | |
|---|---|---|---|---|---|
| текущий | 00:04, 29 ноября 2015 | | 1000 × 1000 (23 КБ) | Hritcu | {{subst:Upload marker added by en.wp UW}} {{Information |Description = {{en|This is the official logo of F* as of 2015 (https://www.fstar-lang.org/)}} |Source = was sent to me personally and I put it on the official F* website |Date = 2015 |Author = Ni... |
Использование файла
Следующая страница использует этот файл:
Глобальное использование файла
Данный файл используется в следующих вики:
- Использование в en.wikipedia.org
- Использование в ja.wikipedia.org
- Использование в ko.wikipedia.org
- Использование в no.wikipedia.org
- Использование в pt.wikipedia.org
- Использование в uz.wikipedia.org
- Использование в www.wikidata.org
- Использование в zh.wikipedia.org
