IO System OCaml

OCaml utilities to run the extraction of system effects from Coq. See also Coq.io.

Install with OPAM

Make sure you added the Coq repository:

opam repo add coq-released https://coq.inria.fr/opam/released

and run:

opam install coq-io-system-ocaml

Use

See the io-system project.