search

coq-community / paramcoq

Coq plugin for parametricity [maintainer=@proux01]
Other
44 stars 24 forks source link

Adapt to https://github.com/coq/coq/pull/18164 #116

Closed proux01 closed 1 year ago

proux01 commented 1 year ago

Adapt to https://github.com/coq/coq/pull/18164