We are pleased to announce the arrival of Sylvain Conchon in our team! Chief Scientific Officer in Formal Methods at OCamlPro, co-creator of Alt-Ergo and teacher of OCaml language in universities for about 20 years, Sylvain shares thoughts on interactions between industry and research labs, Formal Methods as an Industrial Technique and his vision of the Ocaml language.
Take a read to his interview on our blog: https://www.ocamlpro.com/2020/06/05/interview-sylvain-conchon-cso-on-formal-methods/
Now's the time to experiment with OCaml! 💡
We are happy to announce a brand new version of TryOCaml, a tool born from our work on Learn-OCaml! Try OCaml in your browser
OCamlPro promotes the use of the OCaml programming language, by providing all services that companies would need to use it
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!