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: ocamlpro.com/2020/06/05/interv

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


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!