Skip to main content

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.

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 .

Manually​

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.