[ Source: mathcomp-zify ]
Paketti: libcoq-mathcomp-zify (1.5.0+2.0+8.16-4 ja muut)
Links for libcoq-mathcomp-zify
Debian-palvelut:
Imuroi lähdekoodipaketti mathcomp-zify:
- [mathcomp-zify_1.5.0+2.0+8.16-4.dsc]
- [mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz]
- [mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz]
Ylläpitäjät:
External Resources:
- Kotisivu [github.com]
Samankaltaisia paketteja:
Micromega arithmetic solvers for Mathematical Components
This package enables the use of the micromega arithmetic solvers of Coq for goals stated with the Mathematical Components library, by extending the zify tactic.
The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.
Muut pakettiin libcoq-mathcomp-zify liittyvät paketit
|
|
|
|
-
- dep: libcoq-mathcomp-algebra-34d36 [amd64]
- näennäispaketti, jonka toteuttaa libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-61sf3 [riscv64]
- näennäispaketti, jonka toteuttaa libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-dbil8 [arm64]
- näennäispaketti, jonka toteuttaa libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-fsg14 [s390x]
- näennäispaketti, jonka toteuttaa libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-pyc54 [ppc64el]
- näennäispaketti, jonka toteuttaa libcoq-mathcomp-algebra
-
- sug: ocaml-findlib
- management tool for OCaml libraries
Imuroi libcoq-mathcomp-zify
| Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|---|
| amd64 | 1.5.0+2.0+8.16-4+b8 | 266.5 kt | 976.0 kt | [tiedostoluettelo] |
| arm64 | 1.5.0+2.0+8.16-4+b8 | 266.4 kt | 976.0 kt | [tiedostoluettelo] |
| ppc64el | 1.5.0+2.0+8.16-4+b8 | 266.4 kt | 976.0 kt | [tiedostoluettelo] |
| riscv64 | 1.5.0+2.0+8.16-4+b8 | 266.4 kt | 976.0 kt | [tiedostoluettelo] |
| s390x | 1.5.0+2.0+8.16-4+b8 | 266.5 kt | 976.0 kt | [tiedostoluettelo] |