search

coq-community / paramcoq

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

Adapt to coq/coq#17664 (goptions use Deprecation.t option instead of bool) #110

Closed SkySkimmer closed 1 year ago