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.9.tar.gz
md5=7c46df48ebf0bda825ebf369dc960445
On This Page