issues
search
coq-community
/
paramcoq
Coq plugin for parametricity [maintainer=@proux01]
Other
44
stars
24
forks
source link
Adapt to coq/coq#17466 (relevance_of_sort takes evar map)
#109
Closed
SkySkimmer
closed
1 year ago