Binary package “libcoq-mathcomp-zify” in ubuntu oracular
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.
Published versions
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-1build5 in amd64 (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-2build4 in amd64 (Proposed)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-2build4 in amd64 (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-1build5 in arm64 (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-2build4 in arm64 (Proposed)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-2build4 in arm64 (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-1build5 in armhf (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-2build4 in armhf (Proposed)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-2build4 in armhf (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-1build5 in ppc64el (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-2build4 in ppc64el (Proposed)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-2build4 in ppc64el (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-1build5 in riscv64 (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-2build4 in riscv64 (Proposed)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-2build4 in riscv64 (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-1build5 in s390x (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-2build4 in s390x (Proposed)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-2build4 in s390x (Release)