Code

do not depend on Ndigits#90

Code

Merged

proux01 merged 1 commit intocoq-community:mastercoq-community/bignums:masterfrom andres-erbsen:remove-Ndigitsandres-erbsen/bignums:remove-NdigitsCopy head branch name to clipboardApr 16, 2024

+15-7

Commits

Commits on Apr 15, 2024

• do not depend on Ndigits

  andres-erbsen

  committed
  24834fb

  Copy full SHA for 24834fb