File:OCaml Logo.svg
维基共享资源,媒体文件资料库
跳转到导航
跳转到搜索
此SVG文件的PNG预览的大小:525 × 144像素。 其他分辨率:320 × 88像素 | 640 × 176像素 | 1,024 × 281像素 | 1,280 × 351像素 | 2,560 × 702像素。
原始文件 (SVG文件,尺寸为525 × 144像素,文件大小:12 KB)
文件信息
结构化数据
说明
摘要
[编辑]描述OCaml Logo.svg |
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开发 InfoField | 本矢量图使用Adobe Illustrator创作。 |
许可协议
[编辑]Public domainPublic domainfalsefalse |
本作品已被作者INRIA释出到公有领域。这适用于全世界。 在一些国家这可能不合法;如果是这样的话,那么: INRIA无条件地授予任何人以任何目的使用本作品的权利,除非这些条件是法律规定所必需的。 Public domainPublic domainfalsefalse |
文件历史
点击某个日期/时间查看对应时刻的文件。
日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
---|---|---|---|---|---|
当前 | 2015年1月29日 (四) 18:13 | 525 × 144(12 KB) | Hexaphixylix(留言 | 贡献) | User created page with UploadWizard |
您不可以覆盖此文件。
文件用途
以下页面使用本文件:
全域文件用途
以下其他wiki使用此文件:
- 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)
查看此文件的更多全域用途。
元数据
此文件含有额外信息,这些信息可能是创建或数字化该文件时使用的数码相机或扫描仪所添加的。如果文件已从其原始状态修改,某些详细信息可能无法完全反映修改后的文件。
宽度 | 524.819px |
---|---|
高度 | 144.277px |