skyskimmer / bignums Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/bignums
Coq library of arbitrary large numbers. Provides BigN, BigZ, BigQ that used to be part of Coq standard library
License: GNU Lesser General Public License v2.1