/bignums

Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library

Primary LanguageCoqGNU Lesser General Public License v2.1LGPL-2.1

The BigNums Library

Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library.

TODO

  • Documentation
  • Add a Makefile in the tests/ directory

Authors

Copyright INRIA 2007-2017.

Initial Code by Laurent Théry, Benjamin Grégoire, Arnaud Spiwack. Many revisions by Evgeny Makarov and Pierre Letouzey.

License

LGPL 2.1