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