Fichier:OCaml_Logo.svg
De Wikipedia, l'encyclopédie encyclopedia
Taille de cet aperçu PNG pour ce fichier SVG : 525 × 144 pixels. Autres résolutions : 320 × 88 pixels | 640 × 176 pixels | 1 024 × 281 pixels | 1 280 × 351 pixels | 2 560 × 702 pixels.
Fichier d’origine (Fichier SVG, nominalement de 525 × 144 pixels, taille : 12 kio)
Ce fichier et sa description proviennent de Wikimedia Commons.
Description
DescriptionOCaml Logo.svg |
English: OCaml Logo |
Date | |
Source | https://ocaml.org/ |
Auteur | OCaml.org project |
Autorisation (Réutilisation de ce fichier) |
This file is released to Public Domain by the authors using UNLICENSE. See the relevant file in the code repository for more information. |
SVG information InfoField | Cette image vectorielle a été créée avec Adobe Illustrator |
Conditions d’utilisation
Public domainPublic domainfalsefalse |
Cette œuvre a été placée dans le domaine public par son auteur, INRIA. Ceci s’applique dans le monde entier. Dans certains pays, ceci peut ne pas être possible ; dans ce cas : INRIA accorde à toute personne le droit d’utiliser cette œuvre dans n’importe quel but, sans aucune condition, sauf celles requises par la loi. Public domainPublic domainfalsefalse |
Éléments décrits dans ce fichier
dépeint
4 avril 2014
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
---|---|---|---|---|---|
actuel | 29 janvier 2015 à 20:13 | 525 × 144 (12 kio) | Hexaphixylix | User created page with UploadWizard |
Utilisation du fichier
La page suivante utilise ce fichier :
Usage global du fichier
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur ar.wikipedia.org
- Utilisation sur az.wikipedia.org
- Utilisation sur ca.wikipedia.org
- Utilisation sur cs.wikipedia.org
- Utilisation sur da.wikipedia.org
- Utilisation sur de.wikipedia.org
- Utilisation sur 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)
Voir davantage sur l’utilisation globale de ce fichier.
Métadonnées
Ce fichier contient des informations supplémentaires, probablement ajoutées par l'appareil photo numérique ou le numériseur utilisé pour le créer.
Si le fichier a été modifié depuis son état original, certains détails peuvent ne pas refléter entièrement l'image modifiée.
Largeur | 524.819px |
---|---|
Hauteur | 144.277px |
Ce document provient de « https://fr.wikipedia.org/wiki/Fichier:OCaml_Logo.svg ».