[ Source: mathcomp-zify ]
Package: libcoq-mathcomp-zify (1.5.0+2.0+8.16-3 and others)
Links for libcoq-mathcomp-zify
Debian Resources:
Download Source Package mathcomp-zify:
- [mathcomp-zify_1.5.0+2.0+8.16-3.dsc]
- [mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz]
- [mathcomp-zify_1.5.0+2.0+8.16-3.debian.tar.xz]
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
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.
Other Packages Related to libcoq-mathcomp-zify
|
|
|
|
-
- dep: libcoq-mathcomp-algebra-rzx61 [arm64]
- virtual package provided by libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-s8z07 [ppc64el]
- virtual package provided by libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-uvch8 [amd64]
- virtual package provided by libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-vymn2 [riscv64]
- virtual package provided by libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-algebra-zo8j4 [s390x]
- virtual package provided by libcoq-mathcomp-algebra
-
- sug: ocaml-findlib
- management tool for OCaml libraries
Download libcoq-mathcomp-zify
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
amd64 | 1.5.0+2.0+8.16-3+b4 | 241.7 kB | 1,333.0 kB | [list of files] |
arm64 | 1.5.0+2.0+8.16-3+b4 | 241.7 kB | 1,333.0 kB | [list of files] |
ppc64el | 1.5.0+2.0+8.16-3+b4 | 242.0 kB | 1,333.0 kB | [list of files] |
riscv64 | 1.5.0+2.0+8.16-3+b4 | 241.8 kB | 1,333.0 kB | [list of files] |
s390x | 1.5.0+2.0+8.16-3+b5 | 241.9 kB | 1,333.0 kB | [list of files] |