package coq-bignums
Bignums, the Coq library of arbitrarily large numbers
Install
Dune Dependency
Authors
Maintainers
Sources
v9.0.0+coq8.20.tar.gz
sha512=2c83c5c4caf77b68280dd56ca658da176e4223794b1627e8ac86b9e310a6cc81082bd4e880449b1c330013f1540ff1f78ddfce7a8d4039c3b00ba59904273d61
Description
This Coq 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: 06 Sep 2024
Dev Dependencies
None
Used by (10)
-
coq-color
>= "1.8.5" -
coq-coqeal
>= "1.1.3" -
coq-coqprime
>= "1.0.1" -
coq-corn
>= "8.12.0" -
coq-interval
>= "3.3.0" & < "4.1.0" | >= "4.7.0" -
coq-libvalidsdp
< "1.0.0" | >= "1.0.2" -
coq-math-classes
>= "1.0.7" -
coq-plouffe
>= "1.4.0" -
coq-validsdp
< "1.0.0" | >= "1.0.2" & < "1.1.0" - coq-vcfloat
Conflicts
None
On This Page