Binary package “libcoq-mathcomp-zify” in ubuntu plucky
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.
Source package
Published versions
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-3build7 in amd64 (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-4 in amd64 (Proposed)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-4 in amd64 (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-3build7 in arm64 (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-4 in arm64 (Proposed)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-4 in arm64 (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-3build7 in ppc64el (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-4 in ppc64el (Proposed)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-4 in ppc64el (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-3build7 in riscv64 (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-4 in riscv64 (Proposed)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-4 in riscv64 (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-3build7 in s390x (Release)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-4 in s390x (Proposed)
- libcoq-mathcomp-zify 1.5.0+2.0+8.16-4 in s390x (Release)
