package coq-bignums
Bignums, the Coq library of arbitrary large numbers
Install
Dune Dependency
Authors
Maintainers
Sources
V8.11.0.tar.gz
sha512=d39cc13f4c399ad9203ae1526cf3deced2f006f137d892d4f9e1be091d9d75ed15c403dd7c2971874f9b71599e9f2ac2a9d960411f6de48875fdf0e0648a14a0
Description
Provides BigN, BigZ, BigQ that used to be part of Coq standard library < 8.7.
Tags
keyword:integer numbers keyword:rational numbers keyword:arithmetic keyword:arbitrary-precision category:Miscellaneous/Coq Extensions category:Mathematics/Arithmetic and Number Theory/Number theory category:Mathematics/Arithmetic and Number Theory/Rational numbers logpath:BignumsPublished: 31 Jan 2020
Dev Dependencies
None
Used by (10)
-
coq-color
>= "1.7.0" & < "1.8.3" | >= "1.8.5" -
coq-coqeal
>= "1.0.1" -
coq-coqprime
>= "1.0.1" -
coq-corn
>= "8.12.0" -
coq-interval
>= "3.3.0" - coq-libvalidsdp
-
coq-math-classes
>= "1.0.7" -
coq-plouffe
>= "1.4.0" -
coq-validsdp
< "1.1.0" - coq-vcfloat
Conflicts
None
On This Page