package coq-bignums

  1. Overview
  2. No Docs
Bignums, the Coq library of arbitrary large numbers

Install

Dune Dependency

github.com Edit opam file Versions (20)

Authors

  1. L
    Laurent Théry
  2. B
    Benjamin Grégoire
  3. A
    Arnaud Spiwack
  4. E
    Evgeny Makarov
  5. P
    Pierre Letouzey

Maintainers

  1. L
    Laurent.Thery@inria.fr

Sources

V8.10.0.tar.gz
sha512=39c71404d040cdbef93934bf0a68b58185972ec8b31405a53d7671d33b93920d648880ba2a86108aa387ad0826c7f7fd911d603e73d55c08edef8f0a32b19c63

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:Bignums

Published: 14 Oct 2019

Dependencies (3)

  1. ocamlfind build
  2. ocaml
  3. coq >= "8.10" & < "8.11~"

Dev Dependencies

None

Used by (11)

  1. coq-color = "1.7.0" | >= "1.8.5"
  2. coq-coqeal >= "1.0.1"
  3. coq-coqprime >= "1.0.1"
  4. coq-corn >= "8.12.0"
  5. coq-interval >= "3.3.0"
  6. coq-libvalidsdp
  7. coq-math-classes >= "1.0.7"
  8. coq-plouffe >= "1.4.0"
  9. coq-ppsimpl >= "8.10.0"
  10. coq-validsdp
  11. coq-vcfloat

Conflicts

None