rocq-community / paramcoqLinks

Old Coq plugin for parametricity [maintainer=@ppedrot]
45Updated last month

Alternatives and similar repositories for paramcoq

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

Sorting: