# libcoq-corn 8.16.0-3 (armhf binary) in ubuntu mantic

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.

## Details

- Package version:
- 8.16.0-3

- Status:
- Superseded

- Component:
- universe

- Priority:
- Optional

## Downloadable files

- libcoq-corn_8.16.0-3_armhf.deb (12.3 MiB)

## Package relationships

- Depends on:
- libcoq-bignums-jfgk4
- libcoq-math-classes-lo3a3
- libcoq-stdlib-ii0u4

- Provides:
- libcoq-corn-tsuw3