Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:company
|
| gptkbp:country |
gptkb:France
|
| gptkbp:focusesOn |
gptkb:cryptocurrency
gptkb:OCaml formal methods compiler development |
| gptkbp:foundedIn |
2011
|
| gptkbp:headquartersLocation |
gptkb:Paris,_France
|
| https://www.w3.org/2000/01/rdf-schema#label |
OCamlPro
|
| gptkbp:industry |
gptkb:software
|
| gptkbp:languageOfWork |
gptkb:OCaml
gptkb:Rust C |
| gptkbp:notableClient |
gptkb:Nomadic_Labs
gptkb:Tezos_Foundation gptkb:Tarides |
| gptkbp:notableProject |
gptkb:Tezos
gptkb:Alt-Ergo gptkb:opam gptkb:Flambda |
| gptkbp:website |
https://www.ocamlpro.com/
|
| gptkbp:bfsParent |
gptkb:opam
|
| gptkbp:bfsLayer |
6
|