rocq-community / paramcoqLinks

Old Coq plugin for parametricity [maintainer=@ppedrot]
45Updated 2 months ago

Alternatives and similar repositories for paramcoq

Users that are interested in paramcoq are comparing it to the libraries listed below

Sorting: