package coq-bignums
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Bignums, the Coq library of arbitrary large numbers
Install
Dune Dependency
Authors
Maintainers
Sources
V8.7.0.tar.gz
md5=1d5f18f15675cfac64df59b3405e64d3
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 date:2017-06-15 logpath:BignumsPublished: 23 Oct 2017
Dev Dependencies
None
Used by (11)
-
coq-color
= "1.4.0" | >= "1.8.5" - coq-coqeal
-
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-ppsimpl
< "8.8.0" - coq-validsdp
- coq-vcfloat
Conflicts
None
On This Page