The second annual meeting of the Alt-Ergo Users’ Club was held in mid-February. Our annual…
OCamlPro was created to help OCaml and formal methods spread into the industry. We grew from 1 to 21 engineers, still strongly…
Since 2017 is just over, now is probably the best time to review what happened during this hectic year at OCaml Pro… Here are our…