Skip to content

Adapt to coq/coq#20178 (cominductive API change)#766

Merged
ppedrot merged 1 commit intoLPCIC:masterfrom SkySkimmer:template-entry-qvarFeb 6, 2025

Commits

Commits on Feb 3, 2025