libcoq-coqeal - 2.0.3-1+b2 main

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.

Priority: optional
Section: ocaml
Suites: crimson dawn landing 
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
 
Homepage Source Package
 

Dependencies

  • libcoq-bignums-hgqu6
  • libcoq-mathcomp-algebra-frwk0
  • libcoq-mathcomp-multinomials (>= 1.6.0)
  • libcoq-mathcomp-real-closed-7nqy4
  • libcoq-paramcoq-hrk41
  • libcoq-stdlib-z3q11

Installed Size: 20.7 MB
Architectures: arm64  amd64 

 

Versions

2.0.3-1+b2 arm64 2.0.3-1+b2 amd64 2.0.3-1+b1 arm64 2.0.3-1+b1 amd64