search

coq-community / paramcoq

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

Adapt to coq/coq#16434 (Assumptions.traverse type change) #101

Closed SkySkimmer closed 2 years ago

Alizter commented 2 years ago

@proux01 Please merge