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