search

coq-community / paramcoq

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

adapt to coq/coq#15256 (remove Init.Logic_Type) #87

Closed olaure01 closed 2 years ago