Binary package “libcoq-mathcomp-algebra-tactics” in ubuntu oracular
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.
Published versions
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in amd64 (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-3build4 in amd64 (Proposed)
- libcoq-mathcomp-algebra-tactics 1.2.3-3build4 in amd64 (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in arm64 (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-3build4 in arm64 (Proposed)
- libcoq-mathcomp-algebra-tactics 1.2.3-3build4 in arm64 (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in armhf (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-3build4 in armhf (Proposed)
- libcoq-mathcomp-algebra-tactics 1.2.3-3build4 in armhf (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in ppc64el (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-3build4 in ppc64el (Proposed)
- libcoq-mathcomp-algebra-tactics 1.2.3-3build4 in ppc64el (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in riscv64 (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-3build4 in riscv64 (Proposed)
- libcoq-mathcomp-algebra-tactics 1.2.3-3build4 in riscv64 (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in s390x (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-3build4 in s390x (Proposed)
- libcoq-mathcomp-algebra-tactics 1.2.3-3build4 in s390x (Release)