eLxr packages [ bianca ]
[ Fonte: coq-bignums ]
Pacote: libcoq-bignums (9.0.0+coq8.20-1 e outros)
Links para libcoq-bignums
Baixe o pacote-fonte coq-bignums:
- [coq-bignums_9.0.0+coq8.20-1.debian.tar.xz]
- [coq-bignums_9.0.0+coq8.20-1.dsc]
- [coq-bignums_9.0.0+coq8.20.orig.tar.gz]
Mantenedores(as):
Fontes externas:
- Pagina principal [github.com]
Pacotes similares:
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.
Outros pacotes relacionados a libcoq-bignums
|
|
|
|
-
- dep: libcoq-stdlib-1ns11 [arm64]
- pacote virtual fornecido por libcoq-stdlib
-
- dep: libcoq-stdlib-68yx1 [amd64]
- pacote virtual fornecido por libcoq-stdlib
Download de libcoq-bignums
| Arquitetura | Versão | Tamanho do pacote | Tamanho instalado | Arquivos |
|---|---|---|---|---|
| amd64 | 9.0.0+coq8.20-1+b9 | 1,869.3 kB | 7,601.0 kB | [lista de arquivos] |
| arm64 | 9.0.0+coq8.20-1+b8 | 1,869.8 kB | 7,641.0 kB | [lista de arquivos] |