search

coq-community / paramcoq

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

Adapt to coq/coq#18422 (indirect accessor handled through vernactypes) #121

Closed SkySkimmer closed 7 months ago

ejgallego commented 7 months ago

Upstream PR merged, please merge.