coq-bignums 9.0.0+coq8.18

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.

Outputs: out
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 coq-bignums 9.0.0+coq8.18 as follows:

guix install coq-bignums@9.0.0+coq8.18

Or install the latest version:

guix install coq-bignums

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.