OCamlPro was created in 2011 to advocate the adoption of the OCaml language and formal methods in general in the industry. While…