[ Bron: mathcomp-algebra-tactics ]
Pakket: libcoq-mathcomp-algebra-tactics (1.2.4-1 en anderen)
Verwijzigingen voor libcoq-mathcomp-algebra-tactics
Debian bronnen:
Het bronpakket mathcomp-algebra-tactics downloaden:
- [mathcomp-algebra-tactics_1.2.4-1.dsc]
- [mathcomp-algebra-tactics_1.2.4.orig.tar.gz]
- [mathcomp-algebra-tactics_1.2.4-1.debian.tar.xz]
Beheerders:
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
Ring and field tactics for Mathematical Components
This package provides the 'ring' and 'field' tactics for the Mathematical Components library, that work for any instance of 'comRingType' and 'fieldType' through canonical structure inference.
The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.
Andere aan libcoq-mathcomp-algebra-tactics gerelateerde pakketten
|
|
|
|
-
- dep: libcoq-elpi-96lm3 [riscv64]
- virtueel pakket geboden door libcoq-elpi
-
- dep: libcoq-elpi-a2hw1 [ppc64]
- virtueel pakket geboden door libcoq-elpi
-
- dep: libcoq-elpi-cgte0 [s390x]
- virtueel pakket geboden door libcoq-elpi
-
- dep: libcoq-elpi-djs57 [arm64]
- virtueel pakket geboden door libcoq-elpi
-
- dep: libcoq-elpi-jr5g6 [loong64]
- virtueel pakket geboden door libcoq-elpi
-
- dep: libcoq-elpi-nlak6 [ppc64el]
- virtueel pakket geboden door libcoq-elpi
-
- dep: libcoq-elpi-zi1w8 [amd64]
- virtueel pakket geboden door libcoq-elpi
-
- dep: libcoq-mathcomp-algebra-3k1q4 [amd64]
- virtueel pakket geboden door libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-4n9j9 [ppc64]
- virtueel pakket geboden door libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-aqew0 [arm64]
- virtueel pakket geboden door libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-gtki7 [loong64]
- virtueel pakket geboden door libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-oahk6 [s390x]
- virtueel pakket geboden door libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-oau90 [riscv64]
- virtueel pakket geboden door libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-prxq2 [ppc64el]
- virtueel pakket geboden door libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-ssreflect-1rx88 [loong64]
- virtueel pakket geboden door libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-65232 [s390x]
- virtueel pakket geboden door libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-90jd2 [riscv64]
- virtueel pakket geboden door libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-eich3 [arm64]
- virtueel pakket geboden door libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-hau92 [ppc64el]
- virtueel pakket geboden door libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-ilir5 [amd64]
- virtueel pakket geboden door libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-ssreflect-kusa1 [ppc64]
- virtueel pakket geboden door libcoq-mathcomp-ssreflect
-
- dep: libcoq-mathcomp-zify-198a3 [arm64]
- virtueel pakket geboden door libcoq-mathcomp-zify
-
- dep: libcoq-mathcomp-zify-buqd3 [ppc64el]
- virtueel pakket geboden door libcoq-mathcomp-zify
-
- dep: libcoq-mathcomp-zify-czz84 [riscv64]
- virtueel pakket geboden door libcoq-mathcomp-zify
-
- dep: libcoq-mathcomp-zify-i4x53 [ppc64]
- virtueel pakket geboden door libcoq-mathcomp-zify
-
- dep: libcoq-mathcomp-zify-riww2 [amd64]
- virtueel pakket geboden door libcoq-mathcomp-zify
-
- dep: libcoq-mathcomp-zify-sy7k7 [loong64]
- virtueel pakket geboden door libcoq-mathcomp-zify
-
- dep: libcoq-mathcomp-zify-xw000 [s390x]
- virtueel pakket geboden door libcoq-mathcomp-zify
-
- sug: ocaml-findlib
- management tool for OCaml libraries
libcoq-mathcomp-algebra-tactics downloaden
| Platform | Versie | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|---|
| amd64 | 1.2.4-1+b8 | 744,7 kB | 3.389,0 kB | [overzicht] |
| arm64 | 1.2.4-1+b8 | 744,9 kB | 3.389,0 kB | [overzicht] |
| loong64 (unofficial port) | 1.2.3-4 | 517,8 kB | 2.131,0 kB | [overzicht] |
| ppc64 (unofficial port) | 1.2.3-4 | 517,9 kB | 2.131,0 kB | [overzicht] |
| ppc64el | 1.2.4-1+b7 | 745,4 kB | 3.389,0 kB | [overzicht] |
| riscv64 | 1.2.4-1+b7 | 745,7 kB | 3.389,0 kB | [overzicht] |
| s390x | 1.2.4-1+b7 | 745,3 kB | 3.389,0 kB | [overzicht] |