package rocq-bignums
Bignums, the Rocq library of arbitrarily large numbers
Install
Dune Dependency
Authors
Maintainers
Sources
v9.0.0+rocq9.1.tar.gz
sha512=d9816fc291735576ecad8b69d77675bc26b4858df36710062c603285614333ef69e61345fa68eba7fc98d8363d1879617395a5b88d0f1a6d5dff711ef226fa64
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: 16 Sep 2025
Dependencies (3)
- rocq-stdlib
-
rocq-core
>= "9.1" & < "9.2~" - ocaml
Dev Dependencies
None
Used by (1)
-
coq-bignums
>= "9.0.0+rocq9.1"
Conflicts
None
On This Page