Файл:OCaml_Logo.svg
Материал из Википедии — свободной encyclopedia
Размер этого PNG-превью для исходного SVG-файла: 525 × 144 пкс. Другие разрешения: 320 × 88 пкс | 640 × 176 пкс | 1024 × 281 пкс | 1280 × 351 пкс | 2560 × 702 пкс.
Исходный файл (SVG-файл, номинально 525 × 144 пкс, размер файла: 12 КБ)
Этот файл находится на Викискладе. Сведения о нём показаны ниже.
Викисклад — централизованное хранилище для свободных файлов, используемых в проектах Викимедиа.
Сообщить об ошибке с файлом |
Краткое описание
ОписаниеOCaml Logo.svg |
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‑разработка InfoField | Это векторное изображение было создано с помощью Adobe Illustrator |
Лицензирование
Public domainPublic domainfalsefalse |
Автор этого произведения, INRIA, передаёт его в общественное достояние. Это разрешение действует по всему миру. В некоторых странах это не может быть возможно юридически, в таком случае: INRIA предоставляет любому право использовать данное произведение в любых целях, без каких-либо условий, если только такие условия не требуются по закону. Public domainPublic domainfalsefalse |
Элементы, изображённые на этом файле
изображённый объект
4 апреля 2014
История файла
Нажмите на дату/время, чтобы посмотреть файл, который был загружен в тот момент.
Дата/время | Миниатюра | Размеры | Участник | Примечание | |
---|---|---|---|---|---|
текущий | 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)
Просмотреть глобальное использование этого файла.
Метаданные
Файл содержит дополнительные данные, обычно добавляемые цифровыми камерами или сканерами. Если файл после создания редактировался, то некоторые параметры могут не соответствовать текущему изображению.
Ширина | 524.819px |
---|---|
Высота | 144.277px |