More

In this section we give you a few more information to guide you in the use of coq-of-ocaml.