Code

Adapt w.r.t. coq/coq#18667.#85

Code

Merged

proux01 merged 1 commit intocoq-community:mastercoq-community/bignums:masterfrom ppedrot:clean-notationextern-keyppedrot/bignums:clean-notationextern-keyCopy head branch name to clipboardFeb 13, 2024

+16-7

Commits

Commits on Feb 13, 2024

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

  ppedrot

  committed
  a9d24cf

  Copy full SHA for a9d24cf