Code

adapt to coq/coq#18730#88

Code

Closed

andres-erbsen wants to merge 1 commit intocoq-community:mastercoq-community/bignums:masterfrom andres-erbsen:zify-nat-by-defaultandres-erbsen/bignums:zify-nat-by-defaultCopy head branch name to clipboard

+7-7

Commits

Commits on Feb 28, 2024

• adapt to coq/coq#18730

  andres-erbsen

  committed
  f1bd834