Binary package “libcoq-bignums” in ubuntu mantic
Coq library for big numbers
This package provides big numbers (natural numbers,
integers and rationals) in Coq, as BigN, BigZ and BigQ,
which used to be part of the standard library.
.
Coq is a proof assistant for higher-order logic.
Source package
Published versions
- libcoq-bignums 8.17.0-2build2 in amd64 (Release)
- libcoq-bignums 8.17.0-3build1 in amd64 (Proposed)
- libcoq-bignums 8.17.0-3build1 in amd64 (Release)
- libcoq-bignums 8.17.0-2build2 in arm64 (Release)
- libcoq-bignums 8.17.0-3build1 in arm64 (Proposed)
- libcoq-bignums 8.17.0-3build1 in arm64 (Release)
- libcoq-bignums 8.17.0-2build2 in armhf (Release)
- libcoq-bignums 8.17.0-3build1 in armhf (Proposed)
- libcoq-bignums 8.17.0-3build1 in armhf (Release)
- libcoq-bignums 8.17.0-2build2 in ppc64el (Release)
- libcoq-bignums 8.17.0-3build1 in ppc64el (Proposed)
- libcoq-bignums 8.17.0-3build1 in ppc64el (Release)
- libcoq-bignums 8.17.0-2build2 in riscv64 (Release)
- libcoq-bignums 8.17.0-3build1 in riscv64 (Proposed)
- libcoq-bignums 8.17.0-3build1 in riscv64 (Release)
- libcoq-bignums 8.17.0-2build2 in s390x (Release)
- libcoq-bignums 8.17.0-3build1 in s390x (Proposed)
- libcoq-bignums 8.17.0-3build1 in s390x (Release)