Code

Adapt to coq/coq#18546.#16

Code

Merged

SkySkimmer merged 1 commit intoSkySkimmer:masterSkySkimmer/coq-lean-import:masterfrom rlepigre:br/evaluable_refactoringrlepigre/coq-lean-import:br/evaluable_refactoringCopy head branch name to clipboardApr 3, 2024

+1-1

Commits

Commits on Apr 2, 2024

• Adapt to coq/coq#18546.

  

  Rodolphe Lepigre

  committed
  a913544

  Copy full SHA for a913544