Language

Package: coq-bignums @ 8.9.0

Synopsis

Coq library for arbitrary large numbers

Description

Bignums is a coq library of arbitrary large numbers. It provides BigN, BigZ, BigQ that used to be part of Coq standard library.

Home page
https://github.com/coq/bignums
Location
gnu/packages/coq.scm (line: 376, column: 2)
License

Lint warnings

LinterMessageLocation
source-unstable-tarball

Check for autogenerated tarballs

the source URI should not be an autogenerated tarball