package coq-bignums

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

github.com Edit opam file Versions (23)

Authors

Maintainers

L

Laurent.Thery@inria.fr

Sources

sha512=6ec5c830a6b515c490800609166282da33dd732dded1415f2dfe866feac25cccd86c1d73d4ba48bb61fa234931b4ad57bae40e1726b59bc5d00a860a311f80b7

Description

Provides BigN, BigZ, BigQ that used to be part of Coq standard library < 8.6

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

Published: 07 Jan 2021

Dependencies (2)

coq >= "8.13" & < "8.14~"
ocaml

Dev Dependencies

None

Used by (10)

coq-color >= "1.8.1" & < "1.8.3" | >= "1.8.5"
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

Description
Dependencies (2)
Dev Dependencies
Used by (10)
Conflicts