ファイル:OCaml Logo.svg
この SVG ファイルのこの PNG プレビューのサイズ: 525 × 144 ピクセル. その他の解像度: 320 × 88 ピクセル | 640 × 176 ピクセル | 1,024 × 281 ピクセル | 1,280 × 351 ピクセル | 2,560 × 702 ピクセル。
元のファイル (SVG ファイル、525 × 144 ピクセル、ファイルサイズ: 12キロバイト)
ファイルの履歴
過去の版のファイルを表示するには、その版の日時をクリックしてください。
日付と時刻 | サムネイル | 寸法 | 利用者 | コメント | |
---|---|---|---|---|---|
現在の版 | 2015年1月29日 (木) 18:13 | 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)
このファイルのグローバル使用状況を表示する。