Файл: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 розвиток |  Вихідний код цього 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)
Переглянути сторінку глобального використання цього файлу.
