search

impermeable / coq-waterproof

GNU Lesser General Public License v3.0
29 stars 9 forks source link

Adapt to coq/coq#18938 (EConstr.ERelevance) #53

Closed SkySkimmer closed 3 months ago

ppedrot commented 3 months ago

Please merge now.