קובץ:OCaml Logo.svg
מראה
גודל התצוגה המקדימה הזאת מסוג PNG של קובץ ה־SVG הזה: 525 × 144 פיקסלים. רזולוציות אחרות: 320 × 88 פיקסלים | 640 × 176 פיקסלים | 1,024 × 281 פיקסלים | 1,280 × 351 פיקסלים | 2,560 × 702 פיקסלים.
לקובץ המקורי (קובץ SVG, הגודל המקורי: 525 × 144 פיקסלים, גודל הקובץ: 12 ק"ב)
היסטוריית הקובץ
ניתן ללחוץ על תאריך/שעה כדי לראות את הקובץ כפי שנראה באותו זמן.
תאריך/שעה | תמונה ממוזערת | ממדים | משתמש | הערה | |
---|---|---|---|---|---|
נוכחית | 21:13, 29 בינואר 2015 | 144 × 525 (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)