OCamlPro is a French software company founded in 2011, dedicated to improving software quality through the use of formal methods. They promote the use of OCaml and Rust for industrial software projects, offer expert solutions for complex challenges, an...
Phone
+33 1 84 80 04 81
Year Founded
2011