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