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