Code

Adapt w.r.t. coq/coq#18909.#1884

Code

Merged

andres-erbsen merged 1 commit intomit-plv:sp2019latestmit-plv/fiat-crypto:sp2019latestfrom ppedrot:hint-using-strict-globrefppedrot/fiat-crypto:hint-using-strict-globrefCopy head branch name to clipboardApr 18, 2024

+23-21

Commits

Commits on Apr 18, 2024

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

  ppedrot

  committed
  95b3450

  Copy full SHA for 95b3450