We recommend to install the latest stable version of
coq-of-ocaml via opam.
Latest stable version
Using the package manager
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 .
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.