Coq está escrito en el lenguaje Ocaml.