package coq-paramcoq
Coq Parametricity Plugin
Install
Dune Dependency
Authors
Maintainers
Sources
v1.1.0.tar.gz
md5=6d96c8fbb8fc091ef9121c087e3cab3a
Description
Keller, Chantal, and Marc Lasson. “Parametricity in an Impredicative Sort.” Computer Science Logic, September 27, 2012. https://doi.org/10.4230/LIPIcs.CSL.2012.399.
Originally implemented by the above authors.
Published: 11 Aug 2018
Dependencies (1)
Dev Dependencies (1)
-
coq
(>= "8.7.2" & < "8.10~") | = "dev"
Used by (1)
-
coq-validsdp
< "1.0.4"
Conflicts
None
On This Page