package coq-paramcoq
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
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0.5.tar.gz
md5=fe453f3983c0c711257b73e8f15fc255
On This Page