Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library.
- Documentation
- Add a Makefile in the tests/ directory
Copyright INRIA 2007-2017.
Initial Code by Laurent Théry, Benjamin Grégoire, Arnaud Spiwack. Many revisions by Evgeny Makarov and Pierre Letouzey.
LGPL 2.1