Binary package “libcoq-coqeal” in ubuntu oracular
algebra and data structure algorithms for Coq
This library provides developments in algebra (including
normal forms of matrices), optimized algorithms on
MathComp data structures, and a data representation change
framework.
.
Coq is a proof assistant for higher-order logic, and MathComp
is a large set of mathematical theories for Coq.
Source package
Published versions
- libcoq-coqeal 2.0.1-1build5 in amd64 (Release)
- libcoq-coqeal 2.0.2-1build3 in amd64 (Proposed)
- libcoq-coqeal 2.0.2-1build3 in amd64 (Release)
- libcoq-coqeal 2.0.1-1build5 in arm64 (Release)
- libcoq-coqeal 2.0.2-1build3 in arm64 (Proposed)
- libcoq-coqeal 2.0.2-1build3 in arm64 (Release)
- libcoq-coqeal 2.0.1-1build5 in armhf (Release)
- libcoq-coqeal 2.0.2-1build3 in armhf (Proposed)
- libcoq-coqeal 2.0.2-1build3 in armhf (Release)
- libcoq-coqeal 2.0.1-1build5 in ppc64el (Release)
- libcoq-coqeal 2.0.2-1build3 in ppc64el (Proposed)
- libcoq-coqeal 2.0.2-1build3 in ppc64el (Release)
- libcoq-coqeal 2.0.1-1build5 in riscv64 (Release)
- libcoq-coqeal 2.0.2-1build3 in riscv64 (Proposed)
- libcoq-coqeal 2.0.2-1build3 in riscv64 (Release)
- libcoq-coqeal 2.0.1-1build5 in s390x (Release)
- libcoq-coqeal 2.0.2-1build3 in s390x (Proposed)
- libcoq-coqeal 2.0.2-1build3 in s390x (Release)