Install

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:

coq-of-ocaml

It should show you the help message.

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.