Soubor:OCaml Logo.svg
Velikost tohoto PNG náhledu tohoto SVG souboru: 525 × 144 pixelů. Jiná rozlišení: 320 × 88 pixelů | 640 × 176 pixelů | 1 024 × 281 pixelů | 1 280 × 351 pixelů | 2 560 × 702 pixelů.
Původní soubor (soubor SVG, nominální rozměr: 525 × 144 pixelů, velikost souboru: 12 KB)
|
Tento soubor pochází z Wikimedia Commons. Níže jsou zobrazeny informace, které obsahuje jeho tamější stránka s popisem souboru. |
Popis
| Popis |
English: OCaml Logo |
| Datum | |
| Zdroj | https://ocaml.org/ |
| Autor | OCaml.org project |
| Svolení (Užití tohoto souboru) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
| SVG vývoj |  Tento vektorový obrázek byl vytvořen programem Adobe Illustrator |
Licence
|
INRIA, autor tohoto díla, jej uvolnil jako volné dílo, a to celosvětově. V některých zemích to není podle zákona možné; v takovém případě: INRIA poskytuje komukoli právo užívat toto dílo za libovolným účelem, a to bezpodmínečně s výjimkou podmínek vyžadovaných zákonem.
|
Historie souboru
Kliknutím na datum a čas se zobrazí tehdejší verze souboru.
| Datum a čas | Náhled | Rozměry | Uživatel | Komentář | |
|---|---|---|---|---|---|
| současná | 29. 1. 2015, 20:13 | | 525 × 144 (12 KB) | Hexaphixylix | User created page with UploadWizard |
Využití souboru
Tento soubor používá následující stránka:
Globální využití souboru
Tento soubor využívají následující wiki:
- Využití na ar.wikipedia.org
- Využití na az.wikipedia.org
- Využití na ca.wikipedia.org
- Využití na da.wikipedia.org
- Využití na de.wikipedia.org
- Využití na 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)
- Steven G. Johnson
Zobrazit další globální využití tohoto souboru.
