coq-bignums
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.
- Versions: 9.0.0+coq8.18
- Website: https://github.com/coq/bignums
- Licenses: LGPL 2.1+
- Package source: gnu/packages/coq.scm
- Builds: See build status
- Issues: See known issues
Installation
Install the latest version of coq-bignums as follows:
guix install coq-bignums
Or install a particular version:
guix install coq-bignums@9.0.0+coq8.18
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.
Badge code
You can use the following badge to inform users of coq-bignums about the latest version available in Guix.
Example HTML:
<a href='https://packages.guix.gnu.org/packages/coq-bignums'><img src='https://packages.guix.gnu.org/packages/coq-bignums/badges/latest-version.svg' alt='Version in GNU Guix'></a>
Example Markdown:
[](https://packages.guix.gnu.org/packages/coq-bignums)
Example Org:
[[https://packages.guix.gnu.org/packages/coq-bignums][https://packages.guix.gnu.org/packages/coq-bignums/badges/latest-version.svg]]