Generic Environments

Generic Environments is a library which provides an abstract data type of environments, as a functor parameterized by a module defining variables, and a function which builds environments for such variables with any Type of type. Usual operations over environments are defined, along with an extensive set of basic and more advanced properties. Moreover, an implementation using lists satisfying and all the required properties is provided.

Meta

• Author(s):
  • Emmanuel Polonowski (initial)
• Coq-community maintainer(s):
  • Mohammad-Ali A'RÂBI (@aerabi)
• License: MIT license
• Compatible Coq versions: Coq 8.4 or higher
• Additional dependencies: none
• Coq namespace: GenericEnvironments
• Related publication(s):
  • Generic Environments in Coq

Building and installation instructions

The easiest way to install the latest released version of Generic Environments is via OPAM:

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

To instead build and install manually, do:

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