Skip to content

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

License

Notifications You must be signed in to change notification settings

coq-community/bignums

Repository files navigation

Bignums

Docker CI Contributing Code of Conduct Zulip

This Coq library provides BigN, BigZ, and BigQ that used to be part of the standard library.

Meta

  • Author(s):
    • Laurent Théry
    • Benjamin Grégoire
    • Arnaud Spiwack
    • Evgeny Makarov
    • Pierre Letouzey
  • Coq-community maintainer(s):
  • License: GNU Lesser General Public License v2.1
  • Compatible Coq versions: master (use the corresponding branch or release for other Coq versions)
  • Compatible OCaml versions: all versions supported by Coq
  • Additional dependencies: none
  • Coq namespace: Bignums
  • Related publication(s): none

Building and installation instructions

The easiest way to install the latest released version of Bignums is via OPAM:

opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-bignums

To instead build and install manually, do:

git clone https://github.com/coq-community/bignums.git
cd bignums
make   # or make -j <number-of-cores-on-your-machine> 
make install