OCamlPro

URI: https://gptkb.org/entity/OCamlPro

GPTKB entity

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
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:Alt-Ergo_SMT_solver gptkb:opam gptkb:OPAM
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	OCamlPro