Binary package “libcoq-mathcomp-algebra-tactics” in ubuntu noble
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.1.1-2build9 in amd64 (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in amd64 (Proposed)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in amd64 (Release)
- libcoq-mathcomp-algebra-tactics 1.1.1-2build9 in arm64 (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in arm64 (Proposed)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in arm64 (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in armhf (Proposed)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in armhf (Release)
- libcoq-mathcomp-algebra-tactics 1.1.1-2build9 in ppc64el (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in ppc64el (Proposed)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in ppc64el (Release)
- libcoq-mathcomp-algebra-tactics 1.1.1-2build9 in riscv64 (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in riscv64 (Proposed)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in riscv64 (Release)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in s390x (Proposed)
- libcoq-mathcomp-algebra-tactics 1.2.3-1build5 in s390x (Release)