coq-bignums 8.10.0 Coq library for arbitrary large numbers
Bignums is a coq library of arbitrary large numbers. It provides BigN, BigZ, BigQ that used to be part of Coq standard library.
- Website: https://github.com/coq/bignums
- License: LGPL 2.1+
- Package source: coq.scm
- Patches: None
- Builds: x86_64-linux, i686-linux