Файл:OCaml Logo.svg
Перейти к навигации
Перейти к поиску
Размер этого PNG-превью для исходного SVG-файла: 525 × 144 пкс. Другие разрешения: 320 × 88 пкс | 640 × 176 пкс | 1024 × 281 пкс | 1280 × 351 пкс | 2560 × 702 пкс.
Исходный файл (SVG-файл, номинально 525 × 144 пкс, размер файла: 12 Кб)
 | Этот файл находится на Викискладе. Сведения о нём показаны ниже.
Викисклад — централизованное хранилище для свободных файлов, используемых в проектах Викимедиа.
|
Краткое описание
| Описание |
English: OCaml Logo |
| Дата | |
| Источник | https://ocaml.org/ |
| Автор | OCaml.org project |
| Права (Повторное использование этого файла) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG‑разработка |  Это векторное изображение было создано с помощью Adobe Illustrator |
Лицензирование
|
Автор этого произведения, INRIA, передаёт его в общественное достояние. Это разрешение действует по всему миру. В некоторых странах это не может быть возможно юридически, в таком случае: INRIA предоставляет любому право использовать данное произведение в любых целях, без каких-либо условий, если только такие условия не требуются по закону.
|
История файла
Нажмите на дату/время, чтобы посмотреть файл, который был загружен в тот момент.
| Дата/время | Миниатюра | Размеры | Участник | Примечание | |
|---|---|---|---|---|---|
| текущий | 18:13, 29 января 2015 | | 525 × 144 (12 Кб) | Hexaphixylix | User created page with UploadWizard |
Использование файла
Следующая страница использует этот файл:
Глобальное использование файла
Данный файл используется в следующих вики:
- Использование в ar.wikipedia.org
- Использование в az.wikipedia.org
- Использование в ca.wikipedia.org
- Использование в cs.wikipedia.org
- Использование в da.wikipedia.org
- Использование в de.wikipedia.org
- Использование в en.wikipedia.org
- ML (programming language)
- OCaml
- Poplog
- Robin Milner
- Standard ML
- Isabelle (proof assistant)
- HOL (proof assistant)
- Logic for Computable Functions
- F Sharp (programming language)
- Coq (software)
- Extended ML
- MLton
- Xavier Leroy
- Lennart Augustsson
- Standard ML of New Jersey
- Dependent ML
- Concurrent ML
- Twelf
- Camlp4
- SLAM project
- Caml
- MacroML
- Don Sannella
- FFTW
- Damien Doligez
- GeneWeb
- JoCaml
- HOL Light
- Haxe
- MTASC
- Frank Pfenning
- Matita
- Gérard Huet
- ATS (programming language)
- Marionnet
- Frama-C
- Don Syme
- Alice (programming language)
- Astrée (static analysis)
- Thierry Coquand
- LEGO (proof assistant)
- F* (programming language)
- Alt-Ergo
- Ur (programming language)
Просмотреть глобальное использование этого файла.
