Home

Awesome

<!--- This file was generated from `meta.yml`, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->

coq-ext-lib

Docker CI Contributing Code of Conduct Zulip coqdoc

A collection of theories and plugins that may be useful in other Coq developments.

Meta

Building and installation instructions

The easiest way to install the latest released version of coq-ext-lib is via OPAM:

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

To instead build and install manually, do:

git clone --recurse-submodules https://github.com/coq-community/coq-ext-lib.git
cd coq-ext-lib
make theories  # or make -j <number-of-cores-on-your-machine> theories
make install

Ideas

File Structure