issues
search
coq-community
/
paramcoq
Coq plugin for parametricity [maintainer=@proux01]
Other
44
stars
24
forks
source link
Coq 8.16
#99
Closed
proux01
closed
2 years ago