all options
bookworm  ] [  sid  ]
[ Source: coq-corn  ]

Package: libcoq-corn (8.16.0-2)

Links for libcoq-corn

Screenshot

Debian Resources:

Download Source Package coq-corn:

Maintainers:

External Resources:

Similar packages:

Coq Constructive Repository at Nijmegen

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.

Other Packages Related to libcoq-corn

  • depends
  • recommends
  • suggests
  • enhances

Download libcoq-corn

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 11,055.6 kB60,489.0 kB [list of files]
arm64 11,056.0 kB60,489.0 kB [list of files]
armhf 11,053.1 kB60,449.0 kB [list of files]
i386 11,050.8 kB60,449.0 kB [list of files]
ppc64 (unofficial port) 11,057.2 kB60,489.0 kB [list of files]
ppc64el 11,056.4 kB60,489.0 kB [list of files]
riscv64 (unofficial port) 11,055.1 kB60,489.0 kB [list of files]
s390x 11,056.2 kB60,489.0 kB [list of files]