4 ms·OCaml, Coq. Embarrassingly, Criteo is a French company.by mercurial 11y agoOCaml, Coq. Embarrassingly, Criteo is a French company.