Code

Adapt w.r.t. coq/coq#18935.#122

Code

Merged

SkySkimmer merged 1 commit intocoq-community:mastercoq-community/paramcoq:masterfrom ppedrot:econstr-inductiveops-apippedrot/paramcoq:econstr-inductiveops-apiCopy head branch name to clipboardApr 16, 2024

+8-11

Commits

Commits on Apr 16, 2024

• Adapt w.r.t. coq/coq#18935.

  ppedrot

  committed
  2f74108

  Copy full SHA for 2f74108