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: 401, column: 2)
License

Lint warnings

LinterMessageLocation
No lint warnings