The Coq Constructive Repository at Nijmegen.
Install with OPAM
Make sure that you added the Coq repository:
opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-corn
Corn depends on math-classes from opam.
Install from source
This version of C-CoRN should compile with 8.6 and later. It requires
- SCons 1.2 or make
Git checkout and submodules
C-CoRN depends on Math Classes, which is a library of abstract interfaces for mathematical structures that is heavily based on Coq's new type classes.
C-CoRN uses SCons for its build infrastructure. SCons is a modern Python-based Make-replacement.
To build C-CoRN with SCons say
scons to build the whole library, or
scons some/module.vo to just build
some/module.vo (and its dependencies).
In addition to common Make options like
-j N and
supports some useful options of its own, such as
displays the time spent executing individual build commands.
scons -c replaces Make clean
For more information, see the SCons documentation. Make is still supported.
To build CoqDoc documentation, say