search

coq-community / paramcoq

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

Adapt w.r.t. coq/coq#18935. #122

Closed ppedrot closed 6 months ago