Skip to main content

All Questions

4 votes
1 answer
108 views

Universe polymorphism and modules in Coq

The following code (without universe polymorphism) is accepted by Coq (8.16.0) : ...
Dave's user avatar
  • 175