Binary package “libcoq-mathcomp-algebra-tactics” in ubuntu lunar
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.0.0-8build3 in amd64 (Proposed)
- libcoq-mathcomp-algebra-tactics 1.0.0-8build3 in amd64 (Release)
- libcoq-mathcomp-algebra-tactics 1.0.0-8build3 in arm64 (Proposed)
- libcoq-mathcomp-algebra-tactics 1.0.0-8build3 in arm64 (Release)
- libcoq-mathcomp-algebra-tactics 1.0.0-8build3 in ppc64el (Proposed)
- libcoq-mathcomp-algebra-tactics 1.0.0-8build3 in ppc64el (Release)
- libcoq-mathcomp-algebra-tactics 1.0.0-8build3 in riscv64 (Proposed)
- libcoq-mathcomp-algebra-tactics 1.0.0-8build3 in riscv64 (Release)