search

coq-community / paramcoq

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

Adapt to coq/coq#19233 (template_universes don't duplicate level data) #126

Closed SkySkimmer closed 5 months ago