package coq-bignums

  1. Overview
  2. No Docs
Bignums, the Coq library of arbitrarily 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. P
    pierre.roux@onera.fr

Sources

v9.0.0+coq8.20.tar.gz
sha512=2c83c5c4caf77b68280dd56ca658da176e4223794b1627e8ac86b9e310a6cc81082bd4e880449b1c330013f1540ff1f78ddfce7a8d4039c3b00ba59904273d61

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:2024-06-20

Published: 06 Sep 2024

Dependencies (2)

  1. coq >= "8.20" & < "8.21~"
  2. ocaml

Dev Dependencies

None

Used by (10)

  1. coq-color >= "1.8.5"
  2. coq-coqeal >= "1.1.3"
  3. coq-coqprime >= "1.0.1"
  4. coq-corn >= "8.12.0"
  5. coq-interval >= "3.3.0" & < "4.1.0" | >= "4.7.0"
  6. coq-libvalidsdp < "1.0.0" | >= "1.0.2"
  7. coq-math-classes >= "1.0.7"
  8. coq-plouffe >= "1.4.0"
  9. coq-validsdp < "1.0.0" | >= "1.0.2"
  10. coq-vcfloat

Conflicts

None