Skip to content

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

Merged
ppedrot merged 1 commit intoLPCIC:coq-masterfrom SkySkimmer:erelevanceApr 23, 2024

Commits

Commits on Apr 17, 2024