/paramcoq

Coq plugin for parametricity [maintainer=@proux01]

Primary LanguageCoqOtherNOASSERTION

Stargazers