coq-generic-environments

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.

opam install coq-generic-environments.8.5.0
homepage
https://github.com/coq-contribs/generic-environments
license
LGPL
bugs tracker
https://github.com/coq-contribs/generic-environments/issues
dependencies
coq (>= 8.5 & < 8.6~)
source
https://github.com/coq-contribs/generic-environments/archive/v8.5.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-generic-environments/coq-generic-environments.8.5.0