File:OCaml Logo.svg
Z projektu Wikimedia Commons
Skočit na navigaci
Skočit na vyhledávání
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)
Informace o souboru
Strukturovaná data
Popisky
Popis
[editovat]PopisOCaml Logo.svg |
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 InfoField | Tento vektorový obrázek byl vytvořen programem Adobe Illustrator |
Licence
[editovat]Public domainPublic domainfalsefalse |
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. Public domainPublic domainfalsefalse |
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, 18:13 | 525 × 144 (12 KB) | Hexaphixylix (diskuse | příspěvky) | User created page with UploadWizard |
Tento soubor nemůžete přepsat.
Využití souboru
Na Commons na soubor odkazuje tato 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 cs.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)
Zobrazit další globální využití tohoto souboru.
Metadata
Tento soubor obsahuje dodatečné informace, poskytnuté zřejmě digitálním fotoaparátem nebo scannerem, kterým byl pořízen. Pokud byl soubor od té doby změněn, některé údaje mohou být neplatné.
Šířka | 524.819px |
---|---|
Výška | 144.277px |