Skip to content

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

Merged
ppedrot merged 1 commit intorocq-community:masterfrom
SkySkimmer:erelevance
Apr 23, 2024

Commits

Commits on Apr 17, 2024