coq-ext-lib icon indicating copy to clipboard operation
coq-ext-lib copied to clipboard
verified publisher icon coq-community

Use Universe Polymorphism

Open gmalecha opened this issue 10 years ago • 1 comments

Most things in Structures should be universe polymorphic.

gmalecha avatar Oct 13 '15 00:10 gmalecha

There seems to be some new regressions related to changes in Coq, so doing this sooner might be a good idea.

gmalecha avatar Dec 04 '19 01:12 gmalecha