Skip to main content


We recommend to install the latest stable version of coq-of-ocaml via opam.

Latest stable version

Using the package manager opam, run:

opam install coq-of-ocaml

To check that it installed correctly, type:


It should show you the help message.

Current development version

Install the development version to get the latest features. Clone the GitHub repository with the sources and run in the root folder of the project:

opam pin add coq-of-ocaml .


Read the coq-of-ocaml.opam file at the root of the project to know the updated list of dependencies of the project and commands to build it.