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. --->

Almost Full

Docker CI Nix CI Contributing Code of Conduct Zulip DOI

Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination.

Meta

Building and installation instructions

The easiest way to install the latest released version of Almost Full is via OPAM:

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

To instead build and install manually, do:

git clone https://github.com/coq-community/almost-full.git
cd almost-full
make   # or make -j <number-of-cores-on-your-machine> 
make install

Documentation

Included files: