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. P
    pierre.letouzey@inria.fr

Sources

v8.6.0.tar.gz
md5=8200a64b50404a7f952e5ddd8047f646

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

Published: 15 Jun 2017

Dependencies (2)

  1. coq >= "8.6" & < "8.7~"
  2. ocaml

Dev Dependencies

None

Conflicts

None