package coq-bignums
Bignums, the Coq library of arbitrarily large numbers
Install
Dune Dependency
Authors
Maintainers
Sources
V8.17.0.tar.gz
sha512=9201ee74c4e463b7bf9a8b474fd2dc54dc6fe6fabea196b638baa43a46594eba9bf34c2f1ceac76ec8c6d9bd5a400d3c8a4984be8a8d53c977ea360d1fea0901
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:2022-12-20Published: 31 Mar 2023
Dev Dependencies
None
Used by (10)
-
coq-color
>= "1.8.4" -
coq-coqeal
>= "1.0.4" -
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