Take a moment to go over our past contributions and achievements over the years. This timeline gives an overview of the key events that made OCamlPro, in a format that is amazing to reconnect with our history and to take stock in our accomplishments. Let’s celebrate this exciting journey!
- April 1, 2011
- OCamlPro is founded
- OCamlPro is founded to help spread the OCaml language in the industry.
Fabrice le Fessant, a researcher and member of the French Inria Institute, founds OCamlPro to boost the development of OCaml and promote it in the industry.
- July 1, 2015
- Paris 7 appoints OCamlPro to implement the exercise platform of the OCaml MOOC on France Université Numérique
- OCamlPro implements the first version of the exercise autocorrecting platform of the OCaml MOOC on FUN for Paris 7, based on TryOCaml, integrates to the OpenEDX/FUN and designs some of the exercices of the course, in collaboration with Roberto Di Cosmo and Yann-Régis Gianas (Irill).
- November 1, 2016
- Alt-Ergo 1.30 release with experimental support for model generation
- Alt-Ergo is an automatic prover of mathematical formulas used behind software verification tools such as Frama-C, SPARK, Why3, Atelier-B and Caveat.
- February 14, 2020
- Alt-Ergo Users' Club: MERCE (Mitsubishi Electric Research Centre in Europe) and Why3 join the Club
- The second annual meeting of the Alt-Ergo Users' Club was held in mid-February. These meetings are the perfect place to review each partner's needs regarding Alt-Ergo, discuss the roadmap for future Alt-Ergo developments and enhancements.