Skip to content

Adapt to coq/coq#18867 (inductive_sort_family doesn't exist)#1073

Merged
ppedrot merged 1 commit intoMetaCoq:mainfrom SkySkimmer:non-prop-templateApr 18, 2024
+4-1

Commits

Commits on Apr 4, 2024