O

OCamlPro

18 employees

OCamlPro promotes the use of the OCaml programming language by providing all of the training, consulting, and development services.

Basic info

Industry

software development

Sectors

Trustable Softwares

Developer Tools

Development Tools

Training

Alt-Ergo

OCaml

Tezos

Software

Formal methods

Software Editor

Blockchain

Date founded

2011

FAQ