package rocq-bignums
Bignums, the Rocq library of arbitrarily large numbers
Install
Dune Dependency
Authors
Maintainers
Sources
v9.0.0+rocq9.2.tar.gz
sha512=fb5a4fc3dc69b5e36939fc14b79c2acc1ce8d9793d8b335a3d1fa169945c1400429ed38a545e05c4397e99dfdc3d939da566fe5a71910a0b146835b8e92ef3b0
Description
This Rocq library provides BigN, BigZ, and BigQ that used to be part of the standard library.
Tags
category:Miscellaneous/Coq Extensions category:Mathematics/Arithmetic and Number Theory/Number theory category:Mathematics/Arithmetic and Number Theory/Rational numbers keyword:integer numbers keyword:rational numbers keyword:arithmetic keyword:arbitrary-precision logpath:BignumsPublished: 30 Mar 2026
Dependencies (3)
- rocq-stdlib
-
rocq-core
>= "9.2" & < "9.3~" - ocaml
Dev Dependencies
None
Used by (3)
-
coq-bignums
>= "9.0.0+rocq9.2" - rocq-color
- rocq-concert
Conflicts
None
On This Page