libcoq-coqeal - 2.0.2-2+b4 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-j0ul9
  • libcoq-mathcomp-algebra-uvch8
  • libcoq-mathcomp-multinomials (>= 1.6.0)
  • libcoq-mathcomp-real-closed-5usl5
  • libcoq-paramcoq-ewkl6
  • libcoq-stdlib-orhs4

Installed Size: 21.9 MB
Architectures: amd64  arm64 

 

Versions

2.0.2-2+b4 amd64 2.0.2-2+b4 arm64 2.0.2-2+b3 arm64 2.0.2-2+b3 amd64