libcoq-corn - 8.20.0-1+b2 main

This library provides different theories for Coq:
- an algebraic hierarchy with an axiomatic formalization
of the most common algebraic structures, like setoids,
monoids, groups, rings, fields, ordered fields, rings of
polynomials and real and complex numbers;
- a construction of the real numbers satisfying the above
axiomatic description;
- a proof of the fundamental theorem of algebra;
- a collection of elementary results on real analysis
including continuity, differentiability, integration,
Taylor's theorems and the fundamental theorem of calculus;
- tools for exact real computations like real numbers,
functions, integrals, graph of functions and differential
equations.
.
Coq is a proof assistant for higher-order logic.

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

Dependencies

  • libcoq-bignums-qffq0
  • libcoq-elpi-ftak7
  • libcoq-math-classes-6hpc5
  • libcoq-stdlib-tgae0

Installed Size: 60.5 MB
Architectures: arm64  amd64 

 

Versions

8.20.0-1+b2 amd64 8.20.0-1+b2 arm64 8.20.0-1+b1 arm64 8.20.0-1+b1 amd64