[ Zdroj: coq-bignums ]
Balík: libcoq-bignums (8.17.0-2 a iné)
Odkazy pre libcoq-bignums
Zdroje Debian:
Stiahnuť zdrojový balík coq-bignums:
Správcovia:
Externé zdroje:
- Domovská stránka [github.com]
Podobné balíky:
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.
Ostatné balíky súvisiace s balíkom libcoq-bignums
|
|
|
|
-
- dep: libcoq-stdlib-ig513
- virtuálny balík poskytovaný balíkom libcoq-stdlib
Stiahnuť libcoq-bignums
Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
---|---|---|---|---|
ppc64el | 8.17.0-2+b1 | 1,781.7 kB | 8,482.0 kB | [zoznam súborov] |