search

coq-community / paramcoq

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

Fix relevance computation. #105

Closed ppedrot closed 1 year ago

ppedrot commented 1 year ago

Backwards compatible.