[ Bron: coqeal ]
Pakket: libcoq-coqeal (2.0.1-1 en anderen)
Verwijzigingen voor libcoq-coqeal
Debian bronnen:
Het bronpakket coqeal downloaden:
Beheerders:
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
algebra and data structure algorithms for Coq
This library provides developments in algebra (including normal forms of matrices), optimized algorithms on MathComp data structures, and a data representation change framework.
Coq is a proof assistant for higher-order logic, and MathComp is a large set of mathematical theories for Coq.
Andere aan libcoq-coqeal gerelateerde pakketten
|
|
|
|
-
- dep: libcoq-bignums-11in1 [s390x]
- virtueel pakket geboden door libcoq-bignums
-
- dep: libcoq-bignums-43t01 [i386]
- virtueel pakket geboden door libcoq-bignums
-
- dep: libcoq-bignums-sew63 [ppc64el]
- virtueel pakket geboden door libcoq-bignums
-
- dep: libcoq-bignums-yjqn6 [armhf]
- Pakket niet beschikbaar
-
- dep: libcoq-bignums-z0ff0 [amd64]
- virtueel pakket geboden door libcoq-bignums
-
- dep: libcoq-bignums-znmu5 [arm64]
- virtueel pakket geboden door libcoq-bignums
-
- dep: libcoq-mathcomp-algebra-054x7 [ppc64el]
- virtueel pakket geboden door libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-5a639 [s390x]
- virtueel pakket geboden door libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-av7q1 [armhf]
- virtueel pakket geboden door libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-b8f33 [i386]
- virtueel pakket geboden door libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-q5cc3 [arm64]
- virtueel pakket geboden door libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-rek99 [amd64]
- virtueel pakket geboden door libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-multinomials (>= 1.6.0)
- Multivariate polynomials for Mathematical Components
-
- dep: libcoq-mathcomp-real-closed-br7q5 [amd64]
- virtueel pakket geboden door libcoq-mathcomp-real-closed
-
- dep: libcoq-mathcomp-real-closed-ec6f8 [armhf]
- virtueel pakket geboden door libcoq-mathcomp-real-closed
-
- dep: libcoq-mathcomp-real-closed-mkvo7 [arm64]
- virtueel pakket geboden door libcoq-mathcomp-real-closed
-
- dep: libcoq-mathcomp-real-closed-ojem8 [i386]
- virtueel pakket geboden door libcoq-mathcomp-real-closed
-
- dep: libcoq-mathcomp-real-closed-p5279 [ppc64el]
- virtueel pakket geboden door libcoq-mathcomp-real-closed
-
- dep: libcoq-mathcomp-real-closed-uwgb7 [s390x]
- virtueel pakket geboden door libcoq-mathcomp-real-closed
-
- dep: libcoq-paramcoq-2ng06 [s390x]
- virtueel pakket geboden door libcoq-paramcoq
-
- dep: libcoq-paramcoq-nx6u9 [ppc64el]
- virtueel pakket geboden door libcoq-paramcoq
-
- dep: libcoq-paramcoq-t0fk7 [arm64]
- virtueel pakket geboden door libcoq-paramcoq
-
- dep: libcoq-paramcoq-t8zn8 [i386]
- virtueel pakket geboden door libcoq-paramcoq
-
- dep: libcoq-paramcoq-teqq0 [armhf]
- Pakket niet beschikbaar
-
- dep: libcoq-paramcoq-u9bx7 [amd64]
- virtueel pakket geboden door libcoq-paramcoq
-
- dep: libcoq-stdlib-6gs52 [amd64]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-77cs8 [arm64]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-8u5j8 [armhf]
- Pakket niet beschikbaar
-
- dep: libcoq-stdlib-b6j36 [ppc64el]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-onxh8 [i386]
- virtueel pakket geboden door libcoq-stdlib
-
- dep: libcoq-stdlib-xmpq7 [s390x]
- virtueel pakket geboden door libcoq-stdlib
libcoq-coqeal downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| amd64 | 2.0.1-1+b1 | 4.676,7 kB | 20.116,0 kB | [overzicht] |
| arm64 | 2.0.1-1+b1 | 4.676,4 kB | 20.116,0 kB | [overzicht] |
| armhf | 2.0.1-1+b2 | 4.674,9 kB | 20.082,0 kB | [overzicht] |
| i386 | 2.0.1-1+b1 | 4.675,0 kB | 20.082,0 kB | [overzicht] |
| ppc64el | 2.0.1-1+b1 | 4.676,5 kB | 20.116,0 kB | [overzicht] |
| s390x | 2.0.1-1+b1 | 4.676,9 kB | 20.116,0 kB | [overzicht] |