Файл:OCaml Logo.svg
Перейти к навигации
Перейти к поиску
Размер этого PNG-превью для исходного SVG-файла: 525 × 144 пкс. Другие разрешения: 320 × 88 пкс | 640 × 176 пкс | 1024 × 281 пкс | 1280 × 351 пкс | 2560 × 702 пкс.
Исходный файл (SVG-файл, номинально 525 × 144 пкс, размер файла: 12 КБ)
История файла
Нажмите на дату/время, чтобы посмотреть файл, который был загружен в тот момент.
Дата/время | Миниатюра | Размеры | Участник | Примечание | |
---|---|---|---|---|---|
текущий | 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)
Просмотреть глобальное использование этого файла.